A basic logic
From MaRDI portal
Publication:5834324
DOI10.2307/2269291zbMath0060.02301OpenAlexW2053638844MaRDI QIDQ5834324
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
Related Items (8)
Implication and analysis in classical Frege structures ⋮ A Formalism for Primitive Logic and Mechanical Proof-Checking ⋮ A type-free system extending (ZFC) ⋮ Paradox and logical revision. A short introduction ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ Representations of calculi ⋮ Abstraction in Fitch's Basic Logic ⋮ A Note on Gödel, Priest and Naïve Proof
This page was built for publication: A basic logic
