Concepedia

Tautologies

A tautology is a well-formed formula in propositional logic that is true under all possible truth assignments to its propositional variables, thereby belonging to the class of logically valid expressions distinguished by universal truth preservation.

87

Publications

3.7K

Citations

104

Authors

77

Institutions

Publications per year

2017–2026

7

Variants

Logically Valid ExpressionsLogically Valid Formulas

Parents

Publications

87

Neo-Institutional Theory and Organization Studies: A Mid-Life Crisis?

Mats Alvesson, André Spicer · Organization Studies · 2018 · 294 citations · Full text

, , +8

Facts and Tautological Entailments

Bas C. van Fraassen · The Journal of Philosophy · 1969 · 237 citations

, , +11

The Complexity of Propositional Proofs

Alasdair Urquhart · Bulletin of Symbolic Logic · 1995 · 225 citations

, , +16

On the tautological ring of ℳ g

Eduard Looijenga · Inventiones mathematicae · 1995 · 188 citations · Full text

, , +10

The Complexity of Propositional Proofs

Nathan Segerlind · Bulletin of Symbolic Logic · 2007 · 182 citations

, , +16

1–5 of 87

Authors

104

  1. AR
    Alexander Razborov

    Steklov Mathematical Institute, Russia

    5 publications · 323 citations

    5

    h-index

  2. MA
    M. Alekhnovich

    Institute for Advanced Study, United States

    3 publications · 188 citations

    3

    h-index

  3. SR
    Samuel R. Buss

    University of California San Diego, United States

    3 publications · 82 citations

    3

    h-index

  4. MZ
    Marek Zaionc

    Jagiellonian University, Poland

    3 publications · 95 citations

    3

    h-index

  5. AW
    Avi Wigderson

    Hebrew University of Jerusalem, Israel

    3 publications · 153 citations

    3

    h-index

1–5 of 104

Institutions

77

  1. Czech Academy of Sciences, Institute of Mathematics

    Prague, Czechia

    5 h-index

    5 publications

    191 citations

  2. University of Toronto

    Toronto, Canada

    4 h-index

    6 publications

    316 citations

  3. Jagiellonian University

    Krakow, Poland

    3 h-index

    4 publications

    141 citations

  4. Simon Fraser University

    Burnaby, Canada

    3 h-index

    4 publications

    125 citations

  5. University of Warsaw

    Warsaw, Poland

    3 h-index

    3 publications

    104 citations

  6. University of Leeds

    Leeds, United Kingdom

    3 h-index

    3 publications

    69 citations

  7. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    4 publications

    129 citations

  8. Hebrew University of Jerusalem

    Jerusalem, Israel

    3 h-index

    4 publications

    75 citations

1–8 of 77

Venues

  1. Journal of Symbolic Logic

    12 publications · 350 citations

    11

    h-index

  2. Theoretical Computer Science

    4 publications · 86 citations

    4

    h-index

  3. Mathematical logic quarterly

    MLQ · 3 publications · 77 citations

    3

    h-index

  4. Fundamenta Informaticae

    2 publications · 33 citations

    2

    h-index

  5. Logic Journal of IGPL

    2 publications · 31 citations

    2

    h-index

1–5