Access the full text.
Sign up today, get DeepDyve free for 14 days.
X. Caicedo, R. Rodríguez (2010)
Standard Gödel Modal LogicsStudia Logica, 94
B. Scarpellini (1962)
Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von ŁukasiewiczJournal of Symbolic Logic, 27
Matthias Ragaz (1981)
Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik
(1950)
The impossibility of an algorithm for the decision problem for finite domains. Doklady Akad
M. Baaz, Oliver Fasching (2012)
Gödel logics with monotone operatorsFuzzy Sets Syst., 197
Contract disjuncts that are equal up to the order of their contained conjuncts
P. Hájek (2001)
On very trueFuzzy Sets Syst., 124
G. Takeuti, Satoko Titani (1984)
Intuitionistic fuzzy logic and intuitionistic fuzzy set theoryJournal of Symbolic Logic, 49
Oliver Fasching (2013)
Gödel Homomorphisms as Gödel Modal OperatorsFundam. Informaticae, 123
Replace (a ↔ b) ∧ (•a ≺ •b) by (a ↔ b) ∧ (•a ↔ •b) ∧ (•b ↔ )
M. Baaz (1996)
Infinite-valued Gödel logics with $0$-$1$-projections and relativizations
(2011)
Operator extensions of Gdel logics
M. Dummett (1959)
A propositional calculus with denumerable matrixJournal of Symbolic Logic, 24
B. Trakhtenbrot (1950)
The impossibility of an algorithm for the decision problem for finite domainsDoklady Akad. Nauk SSSR, 70
A. Ciabattoni, G. Metcalfe, F. Montagna (2010)
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensionsFuzzy Sets Syst., 161
M. Baaz, H. Veith (1999)
Interpolation in fuzzy logicArchive for Mathematical Logic, 38
(2011)
Gödel-Dummett logics
We consider an extension of Gödel logic by a unary operator that enables the addition of non-negative reals to truth-values. Although its propositional fragment has a simple proof system, first-order validity is Π 2-hard. We explain the close connection to Scarpellini’s result on Π 2-hardness of Łukasiewicz’s logic.
Archive for Mathematical Logic – Springer Journals
Published: Jan 8, 2014
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.