Fuzzy logic and arithmetical hierarchy, II

Studia Logica 58 (1):129-141 (1997)
  Copy   BIBTEX

Abstract

A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.

Categories

Keywords

Reprint years

DOI

10.1023/a:1004948116720

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,516

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

Fuzzy logic and arithmetical hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
Three complexity problems in quantified fuzzy logic.Franco Montagna - 2001 - Studia Logica 68 (1):143-152.
Monadic fuzzy predicate logics.Petr Hájek - 2002 - Studia Logica 71 (2):165-175.
Arithmetical Completeness Theorem for Modal Logic $$mathsf{}$$.Taishi Kurahashi - 2018 - Studia Logica 106 (2):219-235.
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations.Taishi Kurahashi - 2018 - Studia Logica 106 (6):1181-1196.
Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
Proof-theoretic modal PA-Completeness II: The syntactic countermodel.Paolo Gentilini - 1999 - Studia Logica 63 (2):245-268.
Mechanical theorem proving in a certain class of formulae of the predicate calculus.Ewa Orłowska - 1969 - Studia Logica 25 (1):17 - 29.
States on Polyadic MV-algebras.George Georgescu - 2010 - Studia Logica 94 (2):231-243.
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.Norihiro Kamide - 2021 - Studia Logica 109 (6):1241-1271.

Analytics

Added to PP
2009-01-28

Downloads
57 (#373,745)

6 months
8 (#560,939)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The liar paradox and fuzzy logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.
An algebraic approach to propositional fuzzy logic.Franco Montagna - 2000 - Journal of Logic, Language and Information 9 (1):91-124.
Fuzzy logic and arithmetical hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.

View all 9 citations / Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.

Add more references