Arithmetical complexity of fuzzy predicate logics — A survey II

Annals of Pure and Applied Logic 161 (2):212-219 (2010)
  Copy   BIBTEX

Abstract

Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics are surveyed and some new results are proven

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,440

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

Monadic fuzzy predicate logics.Petr Hájek - 2002 - Studia Logica 71 (2):165-175.
Fuzzy logic and arithmetical hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
On witnessed models in fuzzy logic.Petr Hájek - 2007 - Mathematical Logic Quarterly 53 (1):66-77.
Fuzzy logic and arithmetical hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.
On elementary equivalence in fuzzy predicate logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
On witnessed models in fuzzy logic III - witnessed Gödel logics.Petr Häjek - 2010 - Mathematical Logic Quarterly 56 (2):171-174.
Lindström theorems in graded model theory.Guillermo Badia & Carles Noguera - 2021 - Annals of Pure and Applied Logic 172 (3):102916.
On witnessed models in fuzzy logic II.Petr Hájek - 2007 - Mathematical Logic Quarterly 53 (6):610-615.

Analytics

Added to PP
2013-12-22

Downloads
31 (#747,962)

6 months
8 (#546,421)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Petr Hajek
Silesian University

Citations of this work

First-order Nilpotent minimum logics: first steps.Matteo Bianchi - 2013 - Archive for Mathematical Logic 52 (3-4):295-316.

Add more citations