Preservation theorems for MTL-chains

Logic Journal of the IGPL 19 (3):490-511 (2011)
  Copy   BIBTEX

Abstract

Starting from an arbitrary MTL-chain, two constructions are considered: the MacNeille completion of the underlying order with suitable extensions of the other operations, and a finite embeddability construction. The preservation of properties via these constructions is investigated, that is, if a property that holds in the initial MTL-chain also holds in the constructed MTL-chain. General syntactic descriptions are given of terms s and t for which the inequality s ≤ t is preserved

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzp088

Links

PhilArchive



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

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

On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
Understanding preservation theorems, II.Chaz Schlindwein - 2010 - Mathematical Logic Quarterly 56 (5):549-560.
Saturated structures, unions of chains, and preservation theorems.Alan Adamson - 1980 - Annals of Mathematical Logic 19 (1-2):67-96.
Computing maximal chains.Alberto Marcone, Antonio Montalbán & Richard A. Shore - 2012 - Archive for Mathematical Logic 51 (5-6):651-660.
Rules in relevant logic - I: Semantic classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111 - 137.
Syntax in chains.Marcus Kracht - 2001 - Linguistics and Philosophy 24 (4):467-530.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
New reals: Can live with them, can live without them.Martin Goldstern & Jakob Kellner - 2006 - Mathematical Logic Quarterly 52 (2):115-124.
Axiomatic extensions of the milpotent minimum logic.J. Braso - 2003 - Reports on Mathematical Logic:113-123.
Equality-free logic: the method of diagrams and preservation theorems.P. Dellunde - 1999 - Logic Journal of the IGPL 7 (6):717-732.
A note on the first‐order logic of complete BL‐chains.Petr Hájek & Franco Montagna - 2008 - Mathematical Logic Quarterly 54 (4):435-446.
Utilitarianism and Preservation.Eric Katz - 1979 - Environmental Ethics 1 (4):357-364.
The Kunen-Miller chart (lebesgue measure, the baire property, Laver reals and preservation theorems for forcing).Haim Judah & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (3):909-927.
Chains of end elementary extensions of models of set theory.Andrés Villaveces - 1998 - Journal of Symbolic Logic 63 (3):1116-1136.

Analytics

Added to PP
2015-02-04

Downloads
4 (#1,625,946)

6 months
1 (#1,474,534)

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.
n-Contractive BL-logics.Matteo Bianchi & Franco Montagna - 2011 - Archive for Mathematical Logic 50 (3-4):257-285.

Add more citations

References found in this work

On n -contractive fuzzy logics.Rostislav Horčík, Carles Noguera & Milan Petrík - 2007 - Mathematical Logic Quarterly 53 (3):268-288.

Add more references