Bradwardine hypersequents

zbMATH Open1320.03023MaRDI QIDQ2939749FDOQ2939749

Authors: Greg Restall 

Publication date: 22 January 2015

Recommendations

• MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH
• Read on Bradwardine on the liar
• Truth-tellers in Bradwardine's theory of truth
• Field's paradox and its medieval solution
• Unity, truth and the liar. The modern relevance of medieval solutions to the liar paradox

zbMATH Keywords

paradoxeshypersequent calculusBradwardine's theory of truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) History of mathematical logic and foundations (03-03) Structure of proofs (03F07) History of mathematics in Late Antiquity and medieval Europe (01A35)

Cited In (1)

• Field's paradox and its medieval solution

This page was built for publication: Bradwardine hypersequents

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