scientific article

zbMath0603.03001MaRDI QIDQ3739107

No author found.

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

free logicquantum logicintuitionistic logicentailmentPartial logicMany- valued logicmeaning theoriesRelevance logicsystems of non-classical logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Many-valued logic (03B50) Quantum logic (03G12) Intuitionistic mathematics (03F55) Logical aspects of ?ukasiewicz and Post algebras (03G20) Proof theory and constructive mathematics (03F99)

Related Items

Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis, Meeting strength in substructural logics, Game Semantics and the Manifestation Thesis, Remarks on a survey article on many valued logic by A. Urquhart, Constructing a logic of plausible inference: A guide to Cox's theorem., Language in action, Games and Definability For FPC, Reconciling Aristotle and Frege, General frames for relevant modal logics, Constructive modal logics. I