A Lemma which Distinguishes Minimal Logics from Other Logics
From MaRDI portal
Publication:5546771
DOI10.1017/S0027763000024041zbMath0163.00601WikidataQ125063962 ScholiaQ125063962MaRDI QIDQ5546771
Publication date: 1966
Published in: Nagoya Mathematical Journal (Search for Journal in Brave)
Related Items
Cites Work
- Der Interpolationssatz der intuitionistischen Prädikatenlogik
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- On logics intermediate between intuitionistic and classical predicate logic
- On Universal Character of the Primitive Logic
- On a Characteristic Feature of the Positive Logics
- Unnamed Item
- Unnamed Item
This page was built for publication: A Lemma which Distinguishes Minimal Logics from Other Logics