Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus
From MaRDI portal
Publication:2649134
DOI10.1007/BF02054942zbMath0042.00702MaRDI QIDQ2649134
Publication date: 1951
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/160235
Related Items
Programming problems in mathematical logic, Conditioned disjunction as a primitive connective for the erweiterter Aussagenkalkül, An alternative generalisation of the concept of duality, Self-dual binary and ternary connectives for \(m\)-valued propositional calculi, Self-dual primitives for modal logic, Some self-dual primitive functions for propositional calculi
Cites Work