An extension of basic logic

DOI10.2307/2267330MaRDI QIDQ5786282zbMATH OpenOpenAlexFDO

Authors Frederic B. Fitch

Publication date 1948

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

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

zbMATH Keywords

Philosophy and foundations of mathematics

Cited in

(11)

• Some remarks on extending and interpreting theories with a partial predicate for truth
• Implication and analysis in classical Frege structures
• A type-free system extending (ZFC)
• A note on three-valued logic and Tarski theorem on truth definitions
• Property theory: The type-free approach \(v\). The Church approach
• Paradox and logical revision. A short introduction
• Some results concerning proofs of statements about programs
• CAN MODALITIES SAVE NAIVE SET THEORY?
• A note on Gödel, Priest and naïve proof
• On meaningfulness and truth
• Non-contractability and revenge

This page was built for publication: An extension of basic logic

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