A Strongly Complete Formalisation of a 5-Valued Propositional Calculus

DOI10.1002/MALQ.19870330307MaRDI QIDQ3770501zbMATH OpenOpenAlexFDO

Authors Alan Rose

Publication date 1987

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

5-valued propositional calculus with two designated truth-valuesstrongly complete formalisation

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 3176035
• The sentential calculus using rule of inference R_e
• A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
• scientific article; zbMATH DE number 3124819
• Process algebra and conditional composition
• A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus
• scientific article; zbMATH DE number 1138269
• Axiom schemes for m-valued propositions calculi
• scientific article; zbMATH DE number 2196615
• Structural proof theory for first-order weak Kleene logics

Cited in

(7)

• The sentential calculus using rule of inference R_e
• scientific article; zbMATH DE number 3906477 (Why is no real title available?)
• scientific article; zbMATH DE number 3926885 (Why is no real title available?)
• A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus
• scientific article; zbMATH DE number 3559521 (Why is no real title available?)
• scientific article; zbMATH DE number 232631 (Why is no real title available?)
• Axiom schemes for m-valued propositions calculi

This page was built for publication: A Strongly Complete Formalisation of a 5-Valued Propositional Calculus

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