Pages that link to "Item:Q1891930"
From MaRDI portal
The following pages link to Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930):
Displaying 3 items.
- Negative equivalence of extensions of minimal logic (Q1770621) (← links)
- On the structure of paraconsistent extensions of Johansson's logic (Q1775862) (← links)
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) (← links)
