Self-dual binary and ternary connectives for m-valued propositional calculi

DOI10.1007/BF01470757MaRDI QIDQ775685zbMATHOpenAlexFDO

Authors Alan Rose

Publication date 1961

Published in Mathematische Annalen (Search for Journal in Brave)

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 781269
• scientific article; zbMATH DE number 6963530
• Axiom schemes for m-valued propositions calculi
• Self-extensional three-valued paraconsistent logics
• A Simplified Self m‐AL Set of Primitive Functors for the m‐Valued Propositional Calculus
• Duality in finite many-valued logics
• Bilattices for deductions in multi-valued logic
• scientific article; zbMATH DE number 468645
• On finite-valued propositional logical calculi
• scientific article; zbMATH DE number 3316866

Cites work

• scientific article; zbMATH DE number 3073052 (Why is no real title available?)
• Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus

Cited in

(3)

• A Simplified Self m‐AL Set of Primitive Functors for the m‐Valued Propositional Calculus
• An alternative generalisation of the concept of duality
• scientific article; zbMATH DE number 1513318 (Why is no real title available?)

This page was built for publication: Self-dual binary and ternary connectives for \(m\)-valued propositional calculi

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