The following pages link to (Q5509710):
Displaying 30 items.
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509) (← links)
- A syntactic congruence for languages of birooted trees (Q906981) (← links)
- Union of logics modeled by finite trees (Q1055763) (← links)
- Some investigations of varieties of \({\mathcal N}\)-lattices (Q1071022) (← links)
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra (Q1073065) (← links)
- On subquasivariety lattices of some varieties related with distributive p-algebras (Q1073820) (← links)
- Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities (Q1117257) (← links)
- Bases of quasiidentities of finite distributive p-algebras (Q1119669) (← links)
- On a second order propositional operator in intuitionistic logic (Q1158419) (← links)
- Finite axiomatization for some intermediate logics (Q1165839) (← links)
- On fragments of Medvedev's logic (Q1165841) (← links)
- Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics (Q1170234) (← links)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Undecidability of Brouwerian semilattices (Q1821098) (← links)
- Logic of transition systems (Q1895974) (← links)
- Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics (Q2264662) (← links)
- Kripke models and intermediate logics (Q2548955) (← links)
- On the finite model property for Kripke models (Q2556329) (← links)
- Diego's theorem for nuclear implicative semilattices (Q2657649) (← links)
- B-frame duality (Q2689804) (← links)
- The Structure of Rigid Frames of Depth 3 Only (Q3623828) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)
- The category of topological spaces and open maps does not have products (Q6634756) (← links)
