Pages that link to "Item:Q5675344"
From MaRDI portal
The following pages link to Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic (Q5675344):
Displayed 7 items.
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- Relevant entailment—semantics and formal systems (Q3712316) (← links)
- Implicational <i>F</i>-structures and implicational relevance logics (Q4508262) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)