Pages that link to "Item:Q1346248"
From MaRDI portal
The following pages link to Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248):
Displaying 17 items.
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- A categorical semantics for fuzzy predicate logic (Q2270237) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Construction of a monadic Heyting algebra in a logos (Q2373968) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
- Regular universes and formal spaces (Q2575774) (← links)
- Neighborhood-sheaf semantics for first-order modal logic (Q2825413) (← links)
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
- Some Operators in Kripke Models with an Involution (Q4443422) (← links)
- Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions (Q5028321) (← links)
- Modal Intuitionistic Logics as Dialgebraic Logics (Q5145647) (← links)
- Topos Theory in Montréal in the 1970s: My Personal Involvement (Q5208240) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
