The University of Southampton
University of Southampton Institutional Repository

On deductive interpolation for the weak nilpotent minimum logic

On deductive interpolation for the weak nilpotent minimum logic
On deductive interpolation for the weak nilpotent minimum logic
The Weak Nilpotent Minimum logic WNM was introduced by Esteva and Godo in [6] and shown to be the logic of the class of weak nilpotent minimum triangular norms. In this article, we prove that WNM admits the Deductive Interpolation Property by showing through a model-theoretic argument that the corresponding variety of algebras has the Amalgamation Property.
Amalgamation, Deductive Interpolation, Quantifier elimination, Weak Nilpotent Minimum
0165-0114
318-332
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96

Marchioni, Enrico (2016) On deductive interpolation for the weak nilpotent minimum logic. Fuzzy Sets and Systems, 292, 318-332. (doi:10.1016/j.fss.2015.12.016).

Record type: Article

Abstract

The Weak Nilpotent Minimum logic WNM was introduced by Esteva and Godo in [6] and shown to be the logic of the class of weak nilpotent minimum triangular norms. In this article, we prove that WNM admits the Deductive Interpolation Property by showing through a model-theoretic argument that the corresponding variety of algebras has the Amalgamation Property.

Full text not available from this repository.

More information

Accepted/In Press date: 24 December 2015
e-pub ahead of print date: 29 December 2015
Published date: 1 June 2016
Keywords: Amalgamation, Deductive Interpolation, Quantifier elimination, Weak Nilpotent Minimum

Identifiers

Local EPrints ID: 416594
URI: http://eprints.soton.ac.uk/id/eprint/416594
ISSN: 0165-0114
PURE UUID: 1caa8638-8eb2-4a68-bd93-3ac03593457a

Catalogue record

Date deposited: 03 Jan 2018 17:30
Last modified: 13 Mar 2019 19:04

Export record

Altmetrics

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×