scientific article; zbMATH DE number 3222132

zbMath0137.02203MaRDI QIDQ5509710

A. S. Troelstra, Dick H. J. de Jongh

Publication date: 1966

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

zbMATH Keywords

ordered sets, lattices

Related Items

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property, Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Logic of transition systems, Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities, Diego's theorem for nuclear implicative semilattices, Bases of quasiidentities of finite distributive p-algebras, Natural factors of the Muchnik lattice capturing IPC, Esakia duals of regular Heyting algebras, B-frame duality, A syntactic congruence for languages of birooted trees, On a second order propositional operator in intuitionistic logic, Mathematical modal logic: A view of its evolution, Finite axiomatization for some intermediate logics, On fragments of Medvedev's logic, Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics, Finite frames fail: how infinity works its way into the semantics of admissibility, Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), The Structure of Rigid Frames of Depth 3 Only, Undecidability of Brouwerian semilattices, Kripke models and intermediate logics, On the finite model property for Kripke models, Union of logics modeled by finite trees, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, Some investigations of varieties of \({\mathcal N}\)-lattices, Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra, On subquasivariety lattices of some varieties related with distributive p-algebras