scientific article
From MaRDI portal
Publication:4023306
zbMath0778.03001MaRDI QIDQ4023306
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicintuitionistic propositional calculusS4S5nonclassical propositional logicscompleteness of a set of connectivesexpressibility of connectives
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication:
