Pages that link to "Item:Q1868252"
From MaRDI portal
The following pages link to A predicate logical extension of a subintuitionistic propositional logic (Q1868252):
Displaying 6 items.
- Predicate logical extensions of some subintuitionistic logics (Q1005979) (← links)
- Predicate logics without the structure rules (Q1089330) (← links)
- A system of predicate logic with trans-atomic units (Q1094409) (← links)
- Subprevarieties versus extensions. Application to the logic of paradox (Q4508259) (← links)
- (Q4820592) (← links)
- A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic (Q5435200) (← links)