World Library  
Flag as Inappropriate
Email this Article

BL (logic)

Article Id: WHEBN0016991824
Reproduction Date:

Title: BL (logic)  
Author: World Heritage Encyclopedia
Language: English
Subject: Fuzzy logic, Monoidal t-norm logic
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

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

  1. ^ Ono (2003).
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from Hawaii eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.