Pages that link to "Item:Q1005979"
From MaRDI portal
The following pages link to Predicate logical extensions of some subintuitionistic logics (Q1005979):
Displaying 10 items.
- Some remarks on extending and interpreting theories with a partial predicate for truth (Q1093626) (← links)
- Quantified extensions of canonical propositional intermediate logics (Q1207339) (← links)
- Subintuitionistic logics (Q1333312) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- Subintuitionistic logics and the implications they prove (Q1788333) (← links)
- A predicate logical extension of a subintuitionistic propositional logic (Q1868252) (← links)
- Comments on predicative logic (Q2499285) (← links)
- (Q4342091) (← links)
- Subprevarieties versus extensions. Application to the logic of paradox (Q4508259) (← links)
- A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic (Q5435200) (← links)