A further consistent extension of basic logic

DOI10.2307/2269228MaRDI QIDQ5796577zbMATH OpenOpenAlexFDO

Authors Frederic B. Fitch

Publication date 1950

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

Full work available at URL https://doi.org/10.2307/2269228

zbMATH Keywords

Philosophy and foundations of mathematics

Cites work

• The inconsistency of certain formal logics

Cited in

(3)

• Paradox and logical revision. A short introduction
• Terminating calculi and countermodels for constructive modal logics
• A note on Gödel, Priest and naïve proof

This page was built for publication: A further consistent extension of basic logic

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