Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Monotone operators on Gödel logic

Monotone operators on Gödel logic 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

Monotone operators on Gödel logic

Loading next page...
 
/lp/springer-journals/monotone-operators-on-g-del-logic-TXU5Zu8Xfn

References (17)

Publisher
Springer Journals
Copyright
Copyright © 2014 by Springer-Verlag Berlin Heidelberg
Subject
Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s00153-013-0365-4
Publisher site
See Article on Publisher Site

Abstract

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.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Jan 8, 2014

There are no references for this article.