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
318-332
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
1 June 2016
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Marchioni, Enrico
(2016)
On deductive interpolation for the weak nilpotent minimum logic.
Fuzzy Sets and Systems, 292, .
(doi:10.1016/j.fss.2015.12.016).
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.
This record has no associated files available for download.
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: 15 Mar 2024 17:37
Export record
Altmetrics
Contributors
Author:
Enrico Marchioni
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