scientific article
From MaRDI portal
Publication:3916544
zbMath0465.03002MaRDI QIDQ3916544
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sentential logicconsequence operationintuitionistic logicHilbert calculusnon-classical sentential logicsPost-complete systemtwo-valued pure implicational sentential calculustwo-valued sentential calculus with implication and negation
Other nonclassical logic (03B60) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (2)
This page was built for publication:
