scientific article
From MaRDI portal
Publication:3247123
zbMath0080.00803MaRDI QIDQ3247123
Publication date: 1958
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Relational lattices: from databases to universal algebra ⋮ Concerning the Finite Model Property for Propositional Calculi ⋮ Some Ways of Constructing a Propositional Calculus of Any Required Degree of Unsolvability ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ Temporal logic of surjective bounded morphisms between finite linear processes ⋮ Universal algebraic methods for non-classical logics ⋮ Some kinds of modal completeness ⋮ The deducibilities of S5 ⋮ Mathematical modal logic: A view of its evolution ⋮ Finite axiomatization for some intermediate logics ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ On decision procedures for sentential logics ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi ⋮ First order logic without equality on relativized semantics ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics ⋮ On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes ⋮ On the finite model property for Kripke models ⋮ Finite approximability of forest superintuitionistic logics ⋮ Generalizations of the weak law of the excluded middle ⋮ Generating the variety of BL-algebras
