A basic logic

DOI10.2307/2269291MaRDI QIDQ5834324zbMATH OpenOpenAlexFDO

Authors Frederic B. Fitch

Publication date 1942

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

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

zbMATH Keywords

foundations, philosophy, logic

Cited in

(9)

• Implication and analysis in classical Frege structures
• A type-free system extending (ZFC)
• Paradox and logical revision. A short introduction
• CAN MODALITIES SAVE NAIVE SET THEORY?
• A note on Gödel, Priest and naïve proof
• Abstraction in Fitch's basic logic
• A Formalism for Primitive Logic and Mechanical Proof-Checking
• Representations of calculi
• Non-contractability and revenge

This page was built for publication: A basic logic

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