Pages that link to "Item:Q1405891"
From MaRDI portal
The following pages link to Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics (Q1405891):
Displaying 31 items.
- Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- Deciding the existence of uniform interpolants over transitive models (Q627437) (← links)
- Gödel algebras free over finite distributive lattices (Q952491) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
- Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- Combined covers and Beth definability (Q2096445) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Characterization of residuated lattices via multipliers (Q2161522) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- On propositional definability (Q2389643) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Computing coproducts of finitely presented Gödel algebras (Q2503401) (← links)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
- Free Heyting Algebras: Revisited (Q2888491) (← links)
- Quantifier Elimination and Provers Integration (Q4916219) (← links)
- Weak Fraisse categories (Q5025077) (← links)
- (Q5094130) (← links)
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
- THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS (Q6095984) (← links)