On interplay of quantifiers in Gödel-Dummett fuzzy logics

&
Archive for Mathematical Logic 45 (5):569-580 (2006)
  Copy   BIBTEX

Abstract

Axiomatization of Gödel-Dummett predicate logics S2G, S3G, and PG, where PG is the weakest logic in which all prenex operations are sound, and the relationships of these logics to logics known from the literature are discussed. Examples of non-prenexable formulas are given for those logics where some prenex operation is not available. Inter-expressibility of quantifiers is explored for each of the considered logics

Categories

Keywords

Reprint years

DOI

10.1007/s00153-005-0322-y

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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

Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
From Intuitionism to Many-Valued Logics Through Kripke Models.Saeed Salehi - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 339-348.
Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach - 2006 - In Baaz Matthias, Preining Norbert & Zach Richard (eds.), 36th Interna- tional Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. IEEE Press.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
From Intuitionism to Many-Valued Logics Through Kripke Models.Saeed Salehi - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 339-348.
Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity ≤ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.
Fuzzy logics – quantitatively.Zofia Kostrzycka & Marek Zaionc - 2023 - Journal of Applied Non-Classical Logics 34 (1):97-132.
Fuzzy logics – quantitatively.Marek Zaionc & Zofia Kostrzycka - 2023 - Journal of Applied Non-Classical Logics 34 (1):97-132.
Compact propositional Gödel logics.Matthias Baaz & Richard Zach - 1998 - In Baaz Matthias (ed.), 28th IEEE International Symposium on Multiple-Valued Logic, 1998. Proceedings. IEEE Press. pp. 108-113.

Analytics

Added to PP
2013-11-23

Downloads
51 (#101,528)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On witnessed models in fuzzy logic.Petr Hájek - 2007 - Mathematical Logic Quarterly 53 (1):66-77.

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.
A Non-arithmetical Gödel Logic.Peter Hájek - 2005 - Logic Journal of the IGPL 13 (4):435-441.

Add more references