Monotone operators on Gödel logic

&
Archive for Mathematical Logic 53 (3-4):261-284 (2014)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-013-0365-4

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,907

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

Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.
A Non-arithmetical Gödel Logic.Peter Hájek - 2005 - Logic Journal of the IGPL 13 (4):435-441.
A Note on the Godel-Gentzen Translation.Hajime Ishihara - 2000 - Mathematical Logic Quarterly 46 (1):135-138.
A simple Henkin-style completeness proof for Gödel 3-valued logic G3.Gemma Robles - 2014 - Logic and Logical Philosophy 23 (4):371-390.
A General Type for Storage Operators.Karim Nour - 1995 - Mathematical Logic Quarterly 41 (4):505-514.
Storage operators and forall-positive types of system TTR.Karim Nour - 1996 - Mathematical Logic Quarterly 42:349-368.
On witnessed models in fuzzy logic III - witnessed Gödel logics.Petr Häjek - 2010 - Mathematical Logic Quarterly 56 (2):171-174.
Constructive theories through a modal lens.Matteo Tesi - 2025 - Logic Journal of the IGPL 33 (1):149-172.
Non-commutative Łukasiewicz propositional logic.Ioana Leuştean - 2006 - Archive for Mathematical Logic 45 (2):191-213.
Storage Operators and ∀‐positive Types in TTR Type System.Karim Nour - 1996 - Mathematical Logic Quarterly 42 (1):349-368.

Analytics

Added to PP
2014-01-21

Downloads
20 (#1,139,100)

6 months
3 (#1,171,294)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Matthias Baaz
TU Wien

Citations of this work

No citations found.

Add more citations

References found in this work

A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
Interpolation in fuzzy logic.Matthias Baaz & Helmut Veith - 1999 - Archive for Mathematical Logic 38 (7):461-489.

Add more references