Effectiveness and Multivalued Logics

Journal of Symbolic Logic 71 (1):137 - 162 (2006)
  Copy   BIBTEX

Abstract

Effective domain theory is applied to fuzzy logic. The aim is to give suitable notions of semi-decidable and decidable L-subset and to investigate about the effectiveness of the fuzzy deduction apparatus

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1140641166

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

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

Through your library

My notes

Similar books and articles

Connecting bilattice theory with multivalued logic.Daniele Genito & Giangiacomo Gerla - 2014 - Logic and Logical Philosophy 23 (1):15-45.
Fuzzy logic, continuity and effectiveness.Loredana Biacino & Giangiacomo Gerla - 2002 - Archive for Mathematical Logic 41 (7):643-667.
Giangiacomo Gerla. Fuzzy logic — Mathematical tools for approximate reasoning. Trends in Logic—Studia Logica Library 11. Kluwer Academic Publishers, 2001, xii + 269 pp. [REVIEW]Petr Hájek - 2003 - Bulletin of Symbolic Logic 9 (4):510-511.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
Decidability, partial decidability and sharpness relation for l-subsets.Giangiacomo Gerla - 1987 - Studia Logica 46 (3):227-238.
An Extension Principle for Fuzzy Logics.Giangiacomo Gerla - 1994 - Mathematical Logic Quarterly 40 (3):357-380.
Proof theory for fuzzy logics. Applied Logic Series, vol. 36.G. Metcalfe, N. Olivetti & D. Gabbay - 2010 - Bulletin of Symbolic Logic 16 (3):415-419.
Effectiveness in RPL, with applications to continuous logic.Farzad Didehvar, Kaveh Ghasemloo & Massoud Pourmahdian - 2010 - Annals of Pure and Applied Logic 161 (6):789-799.
Complexity of t-tautologies.Matthias Baaz, Petr Hájek, Franco Montagna & Helmut Veith - 2001 - Annals of Pure and Applied Logic 113 (1-3):3-11.
Decidable discrete linear orders.M. Moses - 1988 - Journal of Symbolic Logic 53 (2):531-539.

Analytics

Added to PP
2010-08-24

Downloads
39 (#421,361)

6 months
13 (#219,656)

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).
Connecting bilattice theory with multivalued logic.Daniele Genito & Giangiacomo Gerla - 2014 - Logic and Logical Philosophy 23 (1):15-45.
Approximate Similarities and Poincaré Paradox.Giangiacomo Gerla - 2008 - Notre Dame Journal of Formal Logic 49 (2):203-226.

Add more citations

References found in this work

The logic of inexact concepts.J. A. Goguen - 1969 - Synthese 19 (3-4):325-373.
On Fuzzy Logic I Many‐valued rules of inference.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (3‐6):45-52.
On Fuzzy Logic I Many‐valued rules of inference.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (3-6):45-52.
Inferences in probability logic.Giangiacomo Gerla - 1994 - Artificial Intelligence 70 (1-2):33-52.

View all 11 references / Add more references