Pages that link to "Item:Q3486539"
From MaRDI portal
The following pages link to Interpolation in fragments of intuitionistic propositional logic (Q3486539):
Displayed 8 items.
- Interpolation in non-classical logics (Q1024121) (← links)
- Computations in fragments of intuitionistic propositional logic (Q1181713) (← links)
- Modular structuring of VDM specifications in VVSL (Q1184682) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- On an interpretation of second order quantification in first order intuitionistic propositional logic (Q4008745) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)