Pages that link to "Item:Q2499308"
From MaRDI portal
The following pages link to Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308):
Displaying 5 items.
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Idempotent variations on the theme of exclusive disjunction (Q2115285) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- Dual binary discriminator varieties (Q5210626) (← links)
