Pages that link to "Item:Q1869612"
From MaRDI portal
The following pages link to More proofs of an axiom of Łukasiewicz (Q1869612):
Displaying 6 items.
- Automated theorem proving for Łukasiewicz logics (Q687151) (← links)
- Double-negation elimination in some propositional logics (Q813082) (← links)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- (Dual) Hoops Have Unique Halving (Q4913866) (← links)
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)
- An application of automated equational reasoning to many-valued logic (Q5881275) (← links)