Joint Consistency of Fuzzy Theories

Mathematical Logic Quarterly 48 (4):563-573 (2002)
  Copy   BIBTEX

Abstract

This paper is a contribution to the development of fuzzy logic in narrow sense with evaluated syntax and connectives interpreted in Łukasiewicz algebra. The main results concern model theory of fuzzy logic and generalization of the Craig-Robinson's theorem on joint consistency of fuzzy theories as well as Craig's interpolation theorem

Categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200211)48:4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

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

On arithmetic in the Cantor- Łukasiewicz fuzzy set theory.Petr Hájek - 2005 - Archive for Mathematical Logic 44 (6):763-782.
A type of fuzzy ring.Hacı Aktaş & Naim Çağman - 2007 - Archive for Mathematical Logic 46 (3-4):165-177.
Fuzzy Horn logic II.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (2):149-177.
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
Fuzzy Galois connections on fuzzy posets.Wei Yao & Ling-Xia Lu - 2009 - Mathematical Logic Quarterly 55 (1):105-112.
Omitting types in fuzzy logic with evaluated syntax.Petra Murinová & Vilém Novák - 2006 - Mathematical Logic Quarterly 52 (3):259-268.
An introduction to fuzzy logic for practical applications.Kazuo Tanaka - 1997 - New York: Springer.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Fuzzy logic, continuity and effectiveness.Loredana Biacino & Giangiacomo Gerla - 2002 - Archive for Mathematical Logic 41 (7):643-667.
New Trends in Fuzzy Logic: Proceedings of the Wilf '95, Italian Workshop on Fuzzy Logic, Naples, Italy, 21-22 September 1995'.Andrea Bonarini (ed.) - 1996 - River Edge, NJ: World Scientific.
Fuzzy logic and applications: 5th international workshop, WILF 2003, Naples, Italy, October 9-11, 2003: revised selected papers.V. Di Gesù, F. Masulli & Alfredo Petrosino (eds.) - 2006 - New York: Springer.
Birkhoff variety theorem and fuzzy logic.Radim Bělohlávek - 2003 - Archive for Mathematical Logic 42 (8):781-790.

Analytics

Added to PP
2013-12-01

Downloads
15 (#939,976)

6 months
2 (#1,193,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Omitting types in fuzzy logic with evaluated syntax.Petra Murinová & Vilém Novák - 2006 - Mathematical Logic Quarterly 52 (3):259-268.

Add more citations

References found in this work

No references found.

Add more references