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

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.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
DOI 10.1023/A:1004948116720
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,599
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

First-Order Fuzzy Logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.

Add more references

Citations of this work BETA

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.
Omitting Uncountable Types and the Strength of [0,1]-Valued Logics.Xavier Caicedo & José N. Iovino - 2014 - Annals of Pure and Applied Logic 165 (6):1169-1200.
Arithmetical Complexity of Fuzzy Predicate Logics—a Survey II.Petr Hájek - 2010 - Annals of Pure and Applied Logic 161 (2):212-219.

View all 6 citations / Add more citations

Similar books and articles

Monadic Fuzzy Predicate Logics.Petr Hájek - 2002 - Studia Logica 71 (2):165-175.
Arithmetical Interpretations of Dynamic Logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
First-Order Fuzzy Logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
Fuzzy Logic and Arithmetical Hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.

Analytics

Added to PP index
2009-01-28

Total views
38 ( #288,857 of 2,462,130 )

Recent downloads (6 months)
1 ( #449,335 of 2,462,130 )

How can I increase my downloads?

Downloads

My notes