Zusammenhang zwischen der Theorie F der Faktorenimplikation und der Theorie der Zylinderalgebren, Reduktion der Vollständigkeit der Axiome von F

DOI10.1002/MALQ.19900360608MaRDI QIDQ5202658zbMATH OpenOpenAlexFDO

Authors August Plattner

Publication date 1990

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

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

zbMATH Keywords

axiomatization of factorial implicationcausal connection between premise and conclusionlocally finite diagonal-free representable cylindric algebras

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Cause as an implication
• On dependencies and independencies of fuzzy implication axioms
• scientific article; zbMATH DE number 1180146
• The axioms for implication in orthologic
• scientific article; zbMATH DE number 1361531

This page was built for publication: Zusammenhang zwischen der Theorie F der Faktorenimplikation und der Theorie der Zylinderalgebren, Reduktion der Vollständigkeit der Axiome von F

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