An extension of basic logic

DOI10.2307/2267330zbMath0030.19302OpenAlexW2139174576MaRDI QIDQ5786282

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

Related Items (10)

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 ⋮ Paradox and logical revision. A short introduction ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ On meaningfulness and truth ⋮ Some results concerning proofs of statements about programs ⋮ A Note on Gödel, Priest and Naïve Proof ⋮ Property theory: The type-free approach \(v\). The Church approach

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