Hoop twist-structures

Journal of Applied Logic - Tập 18 - Trang 1-18 - 2016
Shokoofeh Ghorbani1
1Department of Pure Mathematics, Faculty of Mathematics and Computer, Shahid Bahonar University of Kerman, Kerman, Iran

Tài liệu tham khảo

Almukdad, 1984, Constructible falsity and inexact predicates, J. Symb. Log., 49, 231, 10.2307/2274105 Agliano, 2007, Basic hoops: an algebraic study of continuous t-norms, Stud. Log., 87, 73, 10.1007/s11225-007-9078-1 Blok, 1993, Hoops and their implicational reducts (abstract), vol. 28, 219 Blok, 2000, On the structure of hoops, Algebra Univers., 43, 233, 10.1007/s000120050156 Blok, 1994, On the structure of varieties with equationally definable principal congruences III, Algebra Univers., 32, 545, 10.1007/BF01195727 Blok, 1997, Varieties of commutative residuated integral pomonoids and their residuation subreducts, J. Algebra, 190, 280, 10.1006/jabr.1996.6834 J.R. Büchi, T.M. Owens, Complemented monoids and hoops, unpublished manuscript. Busaniche, 2009, Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic, J. Log. Comput., 19, 1019, 10.1093/logcom/exp028 Esteva, 2003, Hoops and fuzzy logic, J. Log. Comput., 13, 532, 10.1093/logcom/13.4.532 Jansana, 2014, Dualities for modal N4-lattices, Log. J. IGPL, 10.1093/jigpal/jzu002 Ferreirim, 1992 Ghorbani, 2013, Localization of hoop-algebras, J. Adv. Res. Pure Math., 5, 1, 10.5373/jarpm.1378.032812 Nelson, 1949, Constructible falsity, J. Symb. Log., 14, 16, 10.2307/2268973 Odintsov, 2004, On the representation of N4-lattices, Stud. Log., 76, 385, 10.1023/B:STUD.0000032104.14199.08 Odintsov, 2012, BK-lattices. Algebraic semantics for Belnapian modal logics, Stud. Log., 100, 319, 10.1007/s11225-012-9380-4 Odintsov, 2010, Modal logics with Belnapian truth values, J. Appl. Non-Class. Log., 20, 279, 10.3166/jancl.20.279-304 Odintsov, 2003, Algebraic semantics for paraconsistent Nelson's logic, J. Log. Comput., 13, 453, 10.1093/logcom/13.4.453 Ono, 2013, Modal twist-structures over residuated lattices, Log. J. IGPL Rivieccio, 2010 Rivieccio, 2014, Implicative twist-structures, Algebra Univers., 71, 155, 10.1007/s00012-014-0272-5 Vakarelov, 1977, Notes on N-lattices and constructive logic with strong negation, Stud. Log., 36, 109, 10.1007/BF02121118