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

DOI10.1007/BF01470757zbMATH Open0107.00702OpenAlexW2078132954MaRDI QIDQ775685FDOQ775685

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

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)