Pages that link to "Item:Q3647305"
From MaRDI portal
The following pages link to Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305):
Displaying 6 items.
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- On second order intuitionistic propositional logic without a universal quantifier (Q3616347) (← links)
- On an interpretation of second order quantification in first order intuitionistic propositional logic (Q4008745) (← links)
- A mereotopology based on sequent algebras (Q4586239) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- Logics in Artificial Intelligence (Q5394147) (← links)