Involutive uninorm logic with fixed point enjoys finite strong standard completeness
Logic
2019-10-04 v1
Abstract
An algebraic proof is presented for the finite strong standard completeness of involutive uninorm logic with fixed point. The result may provide a first step towards settling the open standard completeness problem for involutive uninorm logic posed in [G. Metcalfe, F. Montagna: Substructural fuzzy logics, J. Symb. Logic, 72, 834-864 (2007)].
Keywords
Cite
@article{arxiv.1910.01393,
title = {Involutive uninorm logic with fixed point enjoys finite strong standard completeness},
author = {Sándor Jenei},
journal= {arXiv preprint arXiv:1910.01393},
year = {2019}
}