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

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
Keywords Gödel-Dummett fuzzy logics  Kripke model  prenexability  inter-expressibility  quantifiers
Categories (categorize this paper)
DOI 10.1007/s00153-005-0322-y
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: 53,688
Through your library

References found in this work BETA

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

Citations of this work BETA

On Witnessed Models in Fuzzy Logic.Petr Hájek - 2007 - Mathematical Logic Quarterly 53 (1):66-77.

Add more citations

Similar books and articles

Advances in the ŁΠ and Logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
First-Order Gödel Logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Linear Kripke Frames and Gödel Logics.Arnold Beckmann & Norbert Preining - 2007 - Journal of Symbolic Logic 72 (1):26 - 44.
Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
Mathematical Fuzzy Logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
Quantifiers, Modifiers and Qualifiers in Fuzzy Logic.Mingsheng Ying & Bernadette Bouchon-Meunier - 1997 - Journal of Applied Non-Classical Logics 7 (3):335-342.
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
Computable Quantifiers and Logics Over Finite Structures.J. Makowsky & Y. Pnueli - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 313--357.

Analytics

Added to PP index
2013-11-23

Total views
37 ( #263,784 of 2,349,561 )

Recent downloads (6 months)
1 ( #510,673 of 2,349,561 )

How can I increase my downloads?

Downloads

My notes