Pages that link to "Item:Q2370373"
From MaRDI portal
The following pages link to An algebraic approach to subframe logics. Intuitionistic case (Q2370373):
Displaying 26 items.
- Forbidden configurations and subframe varieties (Q331025) (← links)
- Funayama's theorem revisited (Q387628) (← links)
- An algebraic approach to canonical formulas: modal case (Q647410) (← links)
- Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic (Q780272) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Proximity frames and regularization. (Q2015817) (← links)
- Adjoint maps between implicative semilattices and continuity of localic maps (Q2120440) (← links)
- Nuclear ranges in implicative semilattices (Q2131292) (← links)
- When is the frame of nuclei spatial: a new approach (Q2301464) (← links)
- Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
- A topological approach to MTL-algebras (Q2324842) (← links)
- Diego's theorem for nuclear implicative semilattices (Q2657649) (← links)
- The frame of nuclei on an Alexandroff space (Q2663169) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Continuity, freeness, and filtrations (Q2901195) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Deriving dualities in pointfree topology from Priestley duality (Q6094273) (← links)
- Intuitionistic modal algebras (Q6562368) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
- Algebraic frames in Priestley duality (Q6657159) (← links)
