Universal Logic

This tutorial studies:

1. Residual lattices and non-commutative residual lattices

2. Some algebraic structures inspired t-norm based fuzzy logic

(MV, BL, MTL, L^*, UL^*)

3. Some algebraic structures inspired pseudo t-norm based fuzzy logic

(psMV, psBL, psMTL, PUL^*, PL^*)

4. Hoops and fuzzy BCK-logic

5. BCC-algebras and BIK⁺-logic, Quasi hoops and fuzzy BIK⁺-logic

6. Fuzzy logic algebraic structures and quantum logic structures



	Algebraic Structures for Non-classical logics Xiaohong Zhang Faculty of Science, Ningbo University - China
	This tutorial studies: 1. Residual lattices and non-commutative residual lattices 2. Some algebraic structures inspired t-norm based fuzzy logic (MV, BL, MTL, L^, UL^) 3. Some algebraic structures inspired pseudo t-norm based fuzzy logic (psMV, psBL, psMTL, PUL^, PL^) 4. Hoops and fuzzy BCK-logic 5. BCC-algebras and BIK⁺-logic, Quasi hoops and fuzzy BIK⁺-logic 6. Fuzzy logic algebraic structures and quantum logic structures
				Example: a relation graph between BCC-algebras and Fuzzy logic algebraic structures