Pages that link to "Item:Q3486539"
From MaRDI portal
The following pages link to Interpolation in fragments of intuitionistic propositional logic (Q3486539):
Displaying 21 items.
- Interpolation in non-classical logics (Q1024121) (← links)
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
- Der Interpolationssatz der intuitionistischen Prädikatenlogik (Q1130509) (← links)
- Computations in fragments of intuitionistic propositional logic (Q1181713) (← links)
- Modular structuring of VDM specifications in VVSL (Q1184682) (← links)
- On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains (Q1577172) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Computing interpolants in implicational logics (Q2503400) (← links)
- Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
- Failure of interpolation in constant domain intuitionistic logic (Q2869908) (← links)
- Intuitionistic implication without disjunction (Q2893316) (← links)
- A weak form of interpolation in equational logic (Q3546111) (← links)
- Propositional Interpolation and Abstract Interpretation (Q3558223) (← links)
- On an interpretation of second order quantification in first order intuitionistic propositional logic (Q4008745) (← links)
- Interpolation in propositional Horn logic (Q4612438) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)
- Basic propositional calculus. II: Interpolation (Q5945567) (← links)
