Bradwardine hypersequents

MaRDI QIDQ2939749zbMATH OpenFDO

Authors Greg Restall

Publication date 22 January 2015

zbMATH Keywords

Bradwardine's theory of truthhypersequent calculusparadoxes

Mathematics Subject Classification ID

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

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

Cited in

(3)

• Read on Bradwardine on the liar
• Field's paradox and its medieval solution
• Truth-tellers in Bradwardine's theory of truth

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)