First-order Nilpotent minimum logics: first steps

Archive for Mathematical Logic 52 (3-4):295-316 (2013)
  Copy   BIBTEX

Abstract

Inspired by the work done by Baaz et al. (Ann Pure Appl Log 147(1–2): 23–47, 2007; Lecture Notes in Computer Science, vol 4790/2007, pp 77–91, 2007) for first-order Gödel logics, we investigate Nilpotent Minimum logic NM. We study decidability and reciprocal inclusion of various sets of first-order tautologies of some subalgebras of the standard Nilpotent Minimum algebra, establishing also a connection between the validity in an NM-chain of certain first-order formulas and its order type. Furthermore, we analyze axiomatizability, undecidability and the monadic fragments

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

n-Contractive BL-logics.Matteo Bianchi & Franco Montagna - 2011 - Archive for Mathematical Logic 50 (3-4):257-285.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Commutator conditions and splitting automorphisms for stable groups.Frank O. Wagner - 1993 - Archive for Mathematical Logic 32 (3):223-228.
Mathematical fuzzy logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Free nilpotent minimum algebras.Manuela Busaniche - 2006 - Mathematical Logic Quarterly 52 (3):219-236.
Propriétés résiduelLes dans Les groupes supersimpLes.Frank Wagner - 2011 - Journal of Symbolic Logic 76 (2):361 - 367.
Stability of nilpotent groups of class 2 and prime exponent.Alan H. Mekler - 1981 - Journal of Symbolic Logic 46 (4):781-788.
Strong logics of first and second order.Peter Koellner - 2010 - Bulletin of Symbolic Logic 16 (1):1-36.

Analytics

Added to PP
2013-12-01

Downloads
46 (#347,610)

6 months
2 (#1,206,802)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Monadic NM-algebras.Juntao Wang, Pengfei He & Yanhong She - 2019 - Logic Journal of the IGPL 27 (6):812-835.

Add more citations

References found in this work

Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
On the structure of rotation-invariant semigroups.Sándor Jenei - 2003 - Archive for Mathematical Logic 42 (5):489-514.

View all 11 references / Add more references