Pages that link to "Item:Q4032657"
From MaRDI portal
The following pages link to Nonmonotonic consequence based on intuitionistic logic (Q4032657):
Displaying 5 items.
- Non-axiomatizable second order intuitionistic propositional logic (Q1361248) (← links)
- Nonmonotonicity in the framework of parametric logic (Q2009771) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- Noninterference for Intuitionist Necessity (Q2936242) (← links)
- (Q4298360) (← links)