The following pages link to (Q4694581):
Displayed 28 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- A note on the diagonalizable algebras of PA and ZF (Q685077) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- Undefinability of propositional quantifiers in the modal system S4 (Q1902553) (← links)
- Topological structure of diagonalizable algebras and corresponding logical properties of theories (Q1903132) (← 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)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- On a strengthening of the non-isomorphism theorem for provability algebras (Q2246876) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
- EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS (Q5027663) (← links)
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)
- Pitts' quantifiers are not topological quantification (Q5937836) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)