Concepedia

Proof-theoretic Truth

Proof-Theoretic Truth is a formal account of truth in mathematics whereby a statement is considered true if and only if it is derivable within a specified formal proof system, distinguishing it from semantic or model-theoretic conceptions of truth by grounding truth strictly in syntactic provability.

10

Publications

760

Citations

17

Authors

13

Institutions

Publications per year

2017–2026

0

Parents

Publications

10

Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp.

Journal of Symbolic Logic · 1988 · 452 citations

, , +12

Axiomatizing Kripke's theory of truth

Volker Halbach, Leon Horsten · Journal of Symbolic Logic · 2006 · 125 citations

, , +12

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

Agata Ciabattoni, George Metcalfe, Franco Montagna · Fuzzy Sets and Systems · 2009 · 49 citations

, , +14

Truth versus validity in mathematical proof

Viviane Durand-Guerrier · ZDM · 2008 · 46 citations

, , +13

Equational theory of positive numbers with exponentiation

R. Gurevič · Proceedings of the American Mathematical Society · 1985 · 24 citations · Full text

, , +12

1–5 of 10

Authors

17

  1. GM
    George Metcalfe

    University of Bern, Switzerland

    1 publications · 49 citations

    1

    h-index

  2. AC
    Agata Ciabattoni

    TU Wien, Austria

    1 publications · 49 citations

    1

    h-index

  3. KF
    Kentaro Fujimoto

    University of Bristol, United Kingdom

    1 publications · 11 citations

    1

    h-index

  4. VD
    Viviane Durand-Guerrier

    Université Claude Bernard Lyon 1, France

    1 publications · 46 citations

    1

    h-index

  5. RK
    Ruth Kempson

    King's College London, United Kingdom

    1 publications · 13 citations

    1

    h-index

1–5 of 17

Institutions

13

  1. London School of Economics and Political Science

    London, United Kingdom

    1 h-index

    1 publications

    11 citations

  2. New College

    Swindon, United Kingdom

    1 h-index

    1 publications

    125 citations

  3. Université Claude Bernard Lyon 1

    Villeurbanne, France

    1 h-index

    1 publications

    46 citations

  4. Victoria University of Wellington

    Wellington, New Zealand

    1 h-index

    2 publications

    34 citations

  5. KU Leuven

    Leuven, Belgium

    1 h-index

    1 publications

    125 citations

  6. Simon Fraser University

    Burnaby, Canada

    1 h-index

    2 publications

    24 citations

  7. Institut Universitaire de France

    Paris, France

    1 h-index

    1 publications

    46 citations

  8. Science Oxford

    Oxford, United Kingdom

    1 h-index

    1 publications

    11 citations

1–8 of 13

Venues

  1. Journal of Symbolic Logic

    3 publications · 588 citations

    3

    h-index

  2. Fuzzy Sets and Systems

    1 publications · 49 citations

    1

    h-index

  3. 1

    h-index

  4. Proceedings of the American Mathematical Society

    PROC · 1 publications · 24 citations

    1

    h-index

  5. Israel Journal of Mathematics

    1 publications · 17 citations

    1

    h-index

1–5