scientific article
From MaRDI portal
Publication:2776066
zbMath0992.03010MaRDI QIDQ2776066
Publication date: 16 September 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intuitionistic logicclassical logicmodal operatorslogical operatorsimplication relationsuniversal laws of logic
Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication: