The Friedman-Sheard programme in intuitionistic logic

DOI10.2178/JSL/1344862162MaRDI QIDQ2915893zbMATH OpenOpenAlexWikidataFDO

Authors Michael Rathjen, Graham E. Leigh

Publication date 19 September 2012

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1344862162, http://eprints.whiterose.ac.uk/75217/8/intuitionistic.pdf

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Recommendations

• A proof-theoretic account of classical principles of truth
• Weak arithmetics and Kripke models
• A short introduction to intuitionistic logic
• Finitistic arithmetic and classical logic
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System

Cites work

• A system of complete and consistent truth
• A theory of formal truth arithmetically equivalent to ID₁
• An axiomatic approach to self-referential truth
• An ordinal analysis for theories of self-referential truth
• Constructivism in mathematics. An introduction. Volume I
• How truthlike can a predicate be? A negative result
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• Reflecting on incompleteness
• Toward useful type-free theories. I

Cited in

(4)

• scientific article; zbMATH DE number 4081512 (Why is no real title available?)
• A proof-theoretic account of classical principles of truth
• From Paradox to Truth
• How should we understand the modal potentialist's modality?

This page was built for publication: The Friedman-Sheard programme in intuitionistic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915893)