scientific article; zbMATH DE number 3222132

Cited in

(32)

Union of logics modeled by finite trees
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
Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities
Bases of quasiidentities of finite distributive p-algebras
On a second order propositional operator in intuitionistic logic
Finite axiomatization for some intermediate logics
On fragments of Medvedev's logic
Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
Mathematical modal logic: A view of its evolution
The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
Undecidability of Brouwerian semilattices
Logic of transition systems
Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics
Kripke models and intermediate logics
On the finite model property for Kripke models
Diego's theorem for nuclear implicative semilattices
B-frame duality
The Structure of Rigid Frames of Depth 3 Only
Natural factors of the Muchnik lattice capturing IPC
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
Finite frames fail: how infinity works its way into the semantics of admissibility
Jankov Formulas and Axiomatization Techniques for Intermediate Logics
Esakia duals of regular Heyting algebras
Notes on my scientific life
Intermediate logics in the setting of team semantics
The category of topological spaces and open maps does not have products
Blok-Esakia theorems via stable canonical rules
Two-dimensional Kripke semantics i: presheaves
A syntactic congruence for languages of birooted trees

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5509710)