On deductive interpolation for the weak nilpotent minimum logic
- Submitting institution
-
University of Southampton
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 34086545
- Type
- D - Journal article
- DOI
-
10.1016/j.fss.2015.12.016
- Title of journal
- Fuzzy Sets and Systems
- Article number
- -
- First page
- 318
- Volume
- 292
- Issue
- -
- ISSN
- 0165-0114
- Open access status
- Out of scope for open access requirements
- Month of publication
- December
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
0
- Research group(s)
-
-
- Citation count
- 1
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The article solves the open problem of deductive interpolation for the Weak Nilpotent Minimum substructural logic by proving the amalgamation property
for the corresponding variety of algebras. The result is obtained by exploiting a model-theoretic approach pioneered by the author in the context substructural logic.
This general approach was previously presented in an invited talk at the Workshop on Algebra and Logic (Bern, Switzerland - 2010).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -