A further consistent extension of basic logic

DOI10.2307/2269228zbMath0038.00502OpenAlexW2149638082MaRDI QIDQ5796577

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

Related Items (3)

Terminating calculi and countermodels for constructive modal logics ⋮ Paradox and logical revision. A short introduction ⋮ A Note on Gödel, Priest and Naïve Proof

Cites Work

• The inconsistency of certain formal logics

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