Pages that link to "Item:Q4858826"

The following pages link to A sheaf representation and duality for finitely presented Heyting algebras (Q4858826):

Displaying 20 items.

• Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
• The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
• An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788) (← links)
• Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
• Gödel algebras free over finite distributive lattices (Q952491) (← links)
• An algebraic theory of normal forms (Q1346245) (← links)
• Model completions and r-Heyting categories (Q1372155) (← links)
• An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
• Undefinability of propositional quantifiers in the modal system S4 (Q1902553) (← links)
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
• Combination of uniform interpolants via Beth definability (Q2090132) (← links)
• Combined covers and Beth definability (Q2096445) (← links)
• On modal \(\mu\)-calculus with explicit interpolants (Q2506827) (← links)
• Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
• All intermediate logics with extra axioms in one variable, except eight, are not strongly <i>ω</i>-complete (Q2710597) (← links)
• UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
• 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
• Pitts' quantifiers are not topological quantification (Q5937836) (← links)
• Rules and arithmetics (Q5937848) (← links)
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)