Pages that link to "Item:Q2649134"
From MaRDI portal
The following pages link to Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus (Q2649134):
Displayed 6 items.
- An alternative generalisation of the concept of duality (Q775346) (← links)
- Self-dual binary and ternary connectives for \(m\)-valued propositional calculi (Q775685) (← links)
- Self-dual primitives for modal logic (Q2651239) (← links)
- Some self-dual primitive functions for propositional calculi (Q2651240) (← links)
- Programming problems in mathematical logic (Q5550156) (← links)
- Conditioned disjunction as a primitive connective for the erweiterter Aussagenkalkül (Q5822057) (← links)