A relational formalisation of arbitrary finite valued logics

DOI10.1093/JIGPAL/6.5.755MaRDI QIDQ4221773zbMATH OpenOpenAlexFDO

Authors Beata Konikowska, Charles G. Morgan, Ewa Orłowska

Publication date 11 October 1999

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/6.5.755

zbMATH Keywords

deductive systemsmany-valued logicnatural deduction systemrelation algebrasrelational calculusrelational semantics

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Many-valued logic (03B50) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• scientific article; zbMATH DE number 1735909
• Many-valued logics -- implications and semantic consequences
• Many-Valued Modal Propositional Calculi
• scientific article; zbMATH DE number 1343458

Cited in

(12)

• Rasiowa-Sikorski deduction systems in computer science applications.
• Optimal axiomatizations of finitely valued logics
• Использование нефинитных методов в исследовании взаимосвязи форм логического исчисления на основе оценки
• Applying Association Rules to ε-Reduction of Finite Theory in Two-Valued Propositional Logic
• scientific article; zbMATH DE number 1735909 (Why is no real title available?)
• scientific article; zbMATH DE number 2042614 (Why is no real title available?)
• On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
• Post algebras in the work of Helena Rasiowa
• Many-valued logics -- implications and semantic consequences
• scientific article; zbMATH DE number 2246054 (Why is no real title available?)
• Bibliography of Ewa Orłowska
• Signed dual tableaux for Kleene answer set programs

This page was built for publication: A relational formalisation of arbitrary finite valued logics

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