On product logic
暂无分享,去创建一个
Abstract In this paper we prove that the class of product algebras is a variety of bounded hoops, that this variety is the equivalent algebraic semantics (in the sense of [1]) of Product logic [11] and that the only axiomatic extension of Product logic that has the Deduction–Detachment Theorem is the Classical propositional logic.
[1] W. Blok,et al. On the structure of varieties with equationally definable principal congruences III , 1994 .
[2] Petr Hájek,et al. Fuzzy Logic From The Logical Point of View , 1995, SOFSEM.
[3] Janusz Czelakowski. Local deductions theorems , 1986, Stud Logica.
[4] Bruno Bosbach. Komplementäre Halbgruppen. Axiomatik und Arithmetik , 1969 .
[5] Petr Hájek,et al. A complete many-valued logic with product-conjunction , 1996, Arch. Math. Log..