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: 93,590

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

Omitting types in fuzzy logic with evaluated syntax.Petra Murinová & Vilém Novák - 2006 - Mathematical Logic Quarterly 52 (3):259-268.
On arithmetic in the Cantor- Łukasiewicz fuzzy set theory.Petr Hájek - 2005 - Archive for Mathematical Logic 44 (6):763-782.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
Birkhoff variety theorem and fuzzy logic.Radim Bělohlávek - 2003 - Archive for Mathematical Logic 42 (8):781-790.
Fuzzy Topology and Łukasiewicz Logics from the Viewpoint of Duality Theory.Yoshihiro Maruyama - 2010 - Studia Logica 94 (2):245-269.
Fuzzy logic theory and applications: Part I and Part II.Lotfi A. Zadeh - 2018 - New Jersey: World Scientific. Edited by R. A. Aliev.
Why Fuzzy Logic?Petr Hájek - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 595–605.
Fuzzy Horn logic II.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (2):149-177.
Mathematics Behind Fuzzy Logic.Esko Turunen - 1999 - Physica-Verlag Heidelberg.
Fuzzy Horn logic I.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (1):3-51.

Analytics

Added to PP
2013-12-01

Downloads
15 (#244,896)

6 months
2 (#1,816,284)

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