A Formalisation of an ℵ0‐Valued Propositional Calculus with Variable Functors

DOI10.1002/MALQ.19820283305MaRDI QIDQ3329440zbMATH OpenOpenAlexFDO

Authors

Publication date 1982

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

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

zbMATH Keywords

infinite-valued propositional calculusvariable functors

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Formalisations of Many‐Valued Propositional Calculi with Variable Functors
• scientific article; zbMATH DE number 3891322
• scientific article; zbMATH DE number 3847364
• scientific article; zbMATH DE number 3926885
• Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term

Cited in

(9)

• Extensions of the \(\aleph_ 0\)-valued Łukasiewicz propositional logic
• scientific article; zbMATH DE number 3847364 (Why is no real title available?)
• scientific article; zbMATH DE number 3891322 (Why is no real title available?)
• Formalisations of Many‐Valued Propositional Calculi with Variable Functors
• scientific article; zbMATH DE number 3926885 (Why is no real title available?)
• A Simplified Self m‐AL Set of Primitive Functors for the m‐Valued Propositional Calculus
• scientific article; zbMATH DE number 3240380 (Why is no real title available?)
• Axiom schemes for m-valued propositions calculi
• Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term

This page was built for publication: A Formalisation of an ℵ₀‐Valued Propositional Calculus with Variable Functors

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