scientific article; zbMATH DE number 3926885

MaRDI QIDQ3701401zbMATH OpenFDO

Authors Alan Rose

Publication date 1983

zbMATH Keywords

Lukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Formalisations of Many‐Valued Propositional Calculi with Variable Functors
• scientific article; zbMATH DE number 3926886
• A Strongly Complete Formalisation of a 5-Valued Propositional Calculus
• The rule of procedure Re in \({\L}ukasiewicz's\) many-valued propositional calculi
• A Formalisation of an ℵ₀‐Valued Propositional Calculus with Variable Functors

Cited in

(5)

• The rule of procedure Re in \({\L}ukasiewicz's\) many-valued propositional calculi
• A proof of completeness of the two-valued propositional calculus
• A Formalisation of an ℵ₀‐Valued Propositional Calculus with Variable Functors
• scientific article; zbMATH DE number 3926886 (Why is no real title available?)
• A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus

This page was built for publication:

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