Pages that link to "Item:Q698537"
From MaRDI portal
The following pages link to An intriguing logic with two implicational connectives (Q698537):
Displayed 5 items.
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- Dual binary discriminator varieties (Q5210626) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)