The following pages link to (Q5509710):
Displayed 19 items.
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← 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)
- 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)
- The Structure of Rigid Frames of Depth 3 Only (Q3623828) (← links)