Three complexity problems in quantified fuzzy logic

Studia Logica 68 (1):143-152 (2001)
  Copy   BIBTEX

Abstract

We prove that the sets of standard tautologies of predicate Product Logic and of predicate Basic Logic, as well as the set of standard-satisfiable formulas of predicate Basic Logic are not arithmetical, thus finding a rather satisfactory solution to three problems proposed by Hájek in [H01].

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1011958407631

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,592

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

A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
Fuzzy logic and arithmetical hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
Fuzzy logic and arithmetical hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
An introduction to fuzzy logic for practical applications.Kazuo Tanaka - 1996 - New York: Springer.
Embedding logics into product logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
Monadic fuzzy predicate logics.Petr Hájek - 2002 - Studia Logica 71 (2):165-175.

Analytics

Added to PP
2009-01-28

Downloads
32 (#412,924)

6 months
1 (#874,758)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Fuzzy logic and arithmetical hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
On the predicate logics of continuous t-norm BL-algebras.Franco Montagna - 2005 - Archive for Mathematical Logic 44 (1):97-114.
On witnessed models in fuzzy logic.Petr Hájek - 2007 - Mathematical Logic Quarterly 53 (1):66-77.
Fuzzy logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.

View all 15 citations / Add more citations

References found in this work

Fuzzy logic and arithmetical hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
Fuzzy logic and arithmetical hierarchy, II.Petr Hájek - 1997 - Studia Logica 58 (1):129-141.

Add more references