Pages that link to "Item:Q3849880"
From MaRDI portal
The following pages link to The implicational fragment of Dummett's LC (Q3849880):
Displayed 8 items.
- On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- Priest on Negation (Q3305669) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)
- The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel (Q5537357) (← links)
- On the separation theorem of intermediate propositional calculi (Q5553255) (← links)
- Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$ (Q5553256) (← links)