scientific article; zbMATH DE number 3378883

zbMath0239.02002MaRDI QIDQ5650663

Roman Sikorski, Helena Rasiowa

Publication date: 1972

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logical aspects of Boolean algebras (03G05) General logic (03B99) Intermediate logics (03B55) General logic (03Bxx) Model theory (03Cxx)

Related Items

Elementary theories of free topo-Boolean and pseudo-Boolean algebras ⋮ A universal Krull-Lindenbaum theorem ⋮ Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras ⋮ An analog of Beth's theorem in normal extensions of the modal logic K4 ⋮ Tableaus for many-valued modal logic ⋮ A new regular constant in intuitionistic propositional logic ⋮ A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice ⋮ Embeddings of implicative lattices and superintuitionistic logics ⋮ Bases of quasiidentities of finite distributive p-algebras ⋮ A Representation Theory for Prime and Implicative Semilattices ⋮ Topology and measure in logics for region-based theories of space ⋮ Amalgamation of Polyadic Algebras ⋮ Homomorphisms and Endomorphisms in Varieties of Pseudocomplemented Distributive Lattices (with Applications to Heyting Algebras) ⋮ Injective and Projective Heyting Algebras ⋮ Syntax and semantics of superintuitionistic logics ⋮ Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics ⋮ On an extension of Gabbay's logic ⋮ Formal systems of fuzzy logic and their fragments ⋮ Meet-Irreducible Elements in Implicative Lattices ⋮ Schönfinkel-type operators for classical logic ⋮ Some remarks on free categories and free groupoids ⋮ Primitive Satisfaction and Equational Problems for Lattices and Other Algebras ⋮ Varieties of logical matrices ⋮ A generalization of Piaget's logical-mathematical model for the stage of formal operations ⋮ Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras