scientific article; zbMATH DE number 3532916
From MaRDI portal
Publication:4109644
zbMath0342.02011MaRDI QIDQ4109644
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic ⋮ Remarks on a survey article on many valued logic by A. Urquhart ⋮ An unexpected Boolean connective ⋮ The degrees of maximality of the intuitionistic propositional logic and of some of its fragments ⋮ On the degree of complexity of sentential logics. A couple of examples ⋮ Equivalential logics. II ⋮ On decision procedures for sentential logics ⋮ Negative equivalence of extensions of minimal logic ⋮ Proof of a conjecture of Roman Suszko ⋮ On the structure of paraconsistent extensions of Johansson's logic ⋮ Equivalents for a quasivariety to be generated by a single structure ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic ⋮ On Axioms and Rexpansions
This page was built for publication:
