Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus

DOI10.1007/BF02054942zbMATH Open0042.00702MaRDI QIDQ2649134

Alan Rose

Publication date: 1951

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/160235

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Axiom schemes for m-valued propositions calculi

Related Items (6)

Programming problems in mathematical logic ⋮ Self-dual primitives for modal logic ⋮ Some self-dual primitive functions for propositional calculi ⋮ 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

This page was built for publication: Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2649134)