Truth-functional Logic

Truth-Functional Logic is a formal logical system in which the truth value of a compound proposition is determined solely by the truth values of its constituent propositions and the logical connectives governing them.

76

Publications

3.3K

Citations

107

Authors

76

Institutions

Publications per year

2017–2026

7

Variants

Propositional LogicSentential LogicTruth-functional Propositional Logic

Authors

107

  1. CC
    Carlos Caleiro

    University of Lisbon, Portugal

    3 publications · 64 citations

    3

    h-index

  2. WC
    Walter Carnielli

    Universidade Estadual de Campinas (UNICAMP), Brazil

    3 publications · 64 citations

    3

    h-index

  3. ME
    Marcelo E. Coniglio

    Universidade Estadual de Campinas (UNICAMP), Brazil

    3 publications · 64 citations

    3

    h-index

  4. JM
    João Marcos

    Universidade Federal do Rio Grande do Norte, Brazil

    3 publications · 50 citations

    3

    h-index

  5. TW
    Terrell Ward Bynum

    Southern Connecticut State University, United States

    2 publications · 52 citations

    2

    h-index

1–5 of 107

Venues

  1. Notre Dame Journal of Formal Logic

    6 publications · 159 citations

    6

    h-index

  2. Journal of Symbolic Logic

    6 publications · 178 citations

    6

    h-index

  3. Logic and Logical Philosophy

    4 publications · 71 citations

    4

    h-index

  4. History and Philosophy of Logic

    3 publications · 96 citations

    3

    h-index

  5. Analysis

    3 publications · 54 citations

    3

    h-index

1–5