Über den Zusammenhang der in den Implikationsaxiomen vollständigen Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls

DOI10.1002/MALQ.19560021004zbMATH Open0075.00602OpenAlexW2004369010MaRDI QIDQ3240236

K. Schröter

Publication date: 1956

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19560021004

zbMATH Keywords

Mathematical logic and foundations

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

On a new class of implications: \((g,\min)\)-implications and several classical tautologies ⋮ Title not available (Why is that?) ⋮ Characteristics and applications of \(J_{I,B}\)-implications via some classical logic tautologies

This page was built for publication: Über den Zusammenhang der in den Implikationsaxiomen vollständigen Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls

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