Involutive uninorm logic with fixed point enjoys finite strong standard completeness

DOI10.1007/S00153-022-00839-1arXiv1910.01393MaRDI QIDQ6326468

Publication date: 3 October 2019

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)].

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: Involutive uninorm logic with fixed point enjoys finite strong standard completeness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6326468)