论文信息 - Unification in some substructural logics of BL-algebras and hoops

Unification in some substructural logics of BL-algebras and hoops

A b s t r a c t. Abstract. It is shown that substructural logics of kpotent BL-algebras and k-potent hoops have unitary unification (in fact, transparent unifiers) while Basic Fuzzy Logic, BL (the logic of BL-algebras), and ∞-valued Lukasiewicz logic (the logic of MV-algebras) do not have unitary unification. It follows that every k-potent substructural logic containing BL is structurally complete in the restricted sense, but Basic Logic itself is not.

Wojciech Dzik

[1] R. P. Dilworth,et al. Residuated Lattices. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

[2] Andrzej Wronski. Transparent Unification Problem , 1995, Reports Math. Log..

[3] Clifford Bergman,et al. Deductive varieties of modules and universal algebras , 1985 .

[4] Silvio Ghilardi,et al. Unification Through Projectivity , 1997, J. Log. Comput..

[5] W. Blok,et al. On the structure of hoops , 2000 .

[6] Franco Montagna,et al. Hoops and Fuzzy Logic , 2003, J. Log. Comput..

[7] Tadeusz Prucnal. On the structural completeness of some pure implicational propositional calculi , 1972 .

[8] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[9] Franz Baader,et al. Unification theory , 1986, Decis. Support Syst..

[10] H. Ono. Substructural Logics and Residuated Lattices — an Introduction , 2003 .

[11] W. Blok,et al. On the structure of varieties with equationally definable principal congruences IV , 1994 .

[12] Silvio Ghilardi,et al. Unification in intuitionistic logic , 1999, Journal of Symbolic Logic.

[13] Peter Jipsen,et al. Residuated lattices: An algebraic glimpse at sub-structural logics , 2007 .

[14] Antoni Torrens Torrell,et al. Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic , 2003, Arch. Math. Log..