BL (logic)

Basic fuzzy Logic (or shortly BL), the logic of continuous t-norms, is one of t-norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;^[1] it extends the logic of all left-continuous t-norms MTL.

Syntax

Language

The language of the propositional logic BL consists of countably many propositional variables and the following primitive logical connectives:

Implication $\rightarrow$ (binary)
Strong conjunction $\otimes$ (binary). The sign & is a more traditional notation for strong conjunction in the literature on fuzzy logic, while the notation $\otimes$ follows the tradition of substructural logics.
Bottom $\bot$ (nullary — a propositional constant); $0$ or ${\overline {0}}$ are common alternative signs and zero a common alternative name for the propositional constant (as the constants bottom and zero of substructural logics coincide in MTL).

The following are the most common defined logical connectives:

Weak conjunction $\wedge$ (binary), also called lattice conjunction (as it is always realized by the lattice operation of meet in algebraic semantics). Unlike MTL and weaker substructural logics, weak conjunction is definable in BL as

A\wedge B\equiv A\otimes (A\rightarrow B)

Negation $\neg$ (unary), defined as

\neg A\equiv A\rightarrow \bot

Equivalence $\leftrightarrow$ (binary), defined as

A\leftrightarrow B\equiv (A\rightarrow B)\wedge (B\rightarrow A)

As in MTL, the definition is equivalent to

(A\rightarrow B)\otimes (B\rightarrow A).

(Weak) disjunction $\vee$ (binary), also called lattice disjunction (as it is always realized by the lattice operation of join in algebraic semantics), defined as

A\vee B\equiv ((A\rightarrow B)\rightarrow B)\wedge ((B\rightarrow A)\rightarrow A)

Top $\top$ (nullary), also called one and denoted by $1$ or ${\overline {1}}$ (as the constants top and zero of substructural logics coincide in MTL), defined as

\top \equiv \bot \rightarrow \bot

Well-formed formulae of BL are defined as usual in propositional logics. In order to save parentheses, it is common to use the following order of precedence:

Unary connectives (bind most closely)
Binary connectives other than implication and equivalence
Implication and equivalence (bind most loosely)

Axioms

A Hilbert-style deduction system for BL has been introduced by Petr Hájek (1998). Its single derivation rule is modus ponens:

from

A

and

A\rightarrow B

derive

B.

The following are its axiom schemata:

{\begin{array}{ll}{\rm {(BL1)}}\colon &(A\rightarrow B)\rightarrow ((B\rightarrow C)\rightarrow (A\rightarrow C))\\{\rm {(BL2)}}\colon &A\otimes B\rightarrow A\\{\rm {(BL3)}}\colon &A\otimes B\rightarrow B\otimes A\\{\rm {(BL4)}}\colon &A\otimes (A\rightarrow B)\rightarrow B\otimes (B\rightarrow A)\\{\rm {(BL5a)}}\colon &(A\rightarrow (B\rightarrow C))\rightarrow (A\otimes B\rightarrow C)\\{\rm {(BL5b)}}\colon &(A\otimes B\rightarrow C)\rightarrow (A\rightarrow (B\rightarrow C))\\{\rm {(BL6)}}\colon &((A\rightarrow B)\rightarrow C)\rightarrow (((B\rightarrow A)\rightarrow C)\rightarrow C)\\{\rm {(BL7)}}\colon &\bot \rightarrow A\end{array}}

The axioms (BL2) and (BL3) of the original axiomatic system were shown to be redundant (Chvalovský, 2012) and (Cintula, 2005). All the other axioms were shown to be independent (Chvalovský, 2012).

Semantics

Like in other propositional t-norm fuzzy logics, algebraic semantics is predominantly used for BL, with three main classes of algebras with respect to which the logic is complete:

General semantics, formed of all BL-algebras — that is, all algebras for which the logic is sound
Linear semantics, formed of all linear BL-algebras — that is, all BL-algebras whose lattice order is linear
Standard semantics, formed of all standard BL-algebras — that is, all BL-algebras whose lattice reduct is the real unit interval [0, 1] with the usual order; they are uniquely determined by the function that interprets strong conjunction, which can be any continuous t-norm

Bibliography

Hájek P., 1998, Metamathematics of Fuzzy Logic. Dordrecht: Kluwer.
Ono, H., 2003, "Substructural logics and residuated lattices — an introduction". In F.V. Hendricks, J. Malinowski (eds.): Trends in Logic: 50 Years of Studia Logica, Trends in Logic 20: 177–212.
Cintula P., 2005, "Short note: On the redundancy of axiom (A3) in BL and MTL". Soft Computing 9: 942.
Chvalovský K., 2012, "On the Independence of Axioms in BL and MTL". Fuzzy Sets and Systems 197: 123–129, doi:10.1016/j.fss.2011.10.018.

References

↑ Ono (2003).

This article is issued from Wikipedia - version of the 4/27/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.