Connecting bilattice theory with multivalued logic

Logic and Logical Philosophy 23 (1):15-45 (2014)
  Copy   BIBTEX

Abstract

This is an exploratory paper whose aim is to investigate the potentialities of bilattice theory for an adequate definition of the deduction apparatus for multi-valued logic. We argue that bilattice theory enables us to obtain a nice extension of the graded approach to fuzzy logic. To give an example, a completeness theorem for a logic based on Boolean algebras is proved

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Evidential bilattice logic and lexical inference.Andreas Schöter - 1996 - Journal of Logic, Language and Information 5 (1):65-105.
Bilattices with Implications.Félix Bou & Umberto Rivieccio - 2013 - Studia Logica 101 (4):651-675.
Bilattices and the theory of truth.Melvin Fitting - 1989 - Journal of Philosophical Logic 18 (3):225 - 256.
Approximate Similarities and Poincaré Paradox.Giangiacomo Gerla - 2008 - Notre Dame Journal of Formal Logic 49 (2):203-226.
Effectiveness and Multivalued Logics.Giangiacomo Gerla - 2006 - Journal of Symbolic Logic 71 (1):137 - 162.
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
Fuzzy logic, continuity and effectiveness.Loredana Biacino & Giangiacomo Gerla - 2002 - Archive for Mathematical Logic 41 (7):643-667.

Analytics

Added to PP
2013-11-24

Downloads
14 (#846,545)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Vagueness and Formal Fuzzy Logic: Some Criticisms.Giangiacomo Gerla - 2017 - Logic and Logical Philosophy 26 (4).

Add more citations