A Simplified Self m‐AL Set of Primitive Functors for the m‐Valued Propositional Calculus

DOI10.1002/MALQ.19620080306MaRDI QIDQ3843600zbMATH OpenOpenAlexFDO

Authors Alan Rose

Publication date 1962

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19620080306

zbMATH Keywords

\(m\)-valued propositional calculusprimitive functors

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• A Formalisation of an ℵ₀‐Valued Propositional Calculus with Variable Functors
• Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term
• Axiom schemes for m-valued propositions calculi
• Formalisations of Many‐Valued Propositional Calculi with Variable Functors
• Axiomatization of propositional calculus with Sheffer functors
• Self-dual binary and ternary connectives for \(m\)-valued propositional calculi
• scientific article; zbMATH DE number 3891322
• \({\mathcal KALC}\): a constructive semantics for \({\mathcal ALC}\)
• The \(\mathcal{NS}_{n\times m}\)-propositional calculus

Cited in

(3)

• scientific article; zbMATH DE number 3185951 (Why is no real title available?)
• 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: A Simplified Self m‐AL Set of Primitive Functors 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 Q3843600)