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 6 items.
- Some remarks on extending and interpreting theories with a partial predicate for truth (Q1093626) (← links)
- Negative equivalence of extensions of minimal logic (Q1770621) (← links)
- On the structure of paraconsistent extensions of Johansson's logic (Q1775862) (← links)
- On the existence of continua of logics between some intermediate predicate logics (Q1975164) (← links)
- A predicate extension of real valued logic (Q2402962) (← links)
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) (← links)