scientific article; zbMATH DE number 7503174

MaRDI QIDQ5067988zbMATH OpenFDO

Authors Ivo Pezlar

Publication date 4 April 2022

zbMATH Keywords

constructive type theoryMartin-Löfparadox, inductive definitionsproof-theoretic semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• A note on freedom from detachment in the logic of paradox
• On the paralogicality of some logical constructs
• A neglected resolution of Russell's paradox of propositions
• scientific article; zbMATH DE number 2152238
• Resolution of some paradoxes of propositions
• scientific article; zbMATH DE number 3231056
• Proof, meaning and paradox: some remarks
• scientific article; zbMATH DE number 194679
• Paraconsistent logic from a modal viewpoint
• scientific article; zbMATH DE number 1110490

Cited in

(5)

• Proof, meaning and paradox: some remarks
• The paradox of inference and the non-triviality of analytic information
• Constructive validity of a generalized Kreisel-Putnam rule
• From explosion to implosion: a new justification for the ex falso quodlibet rule
• Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators

This page was built for publication:

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