Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness-Reference-Cited by-同舟云学术

Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness

Published:2022-07-22 Issue:1-2 Volume:62 Page:67-86
ISSN:0933-5846
Container-title:Archive for Mathematical Logic
language:en
Short-container-title:Arch. Math. Logic

Author:

Jenei Sándor^ORCID

Abstract

AbstractAn algebraic proof is presented for the finite strong standard completeness of the Involutive Uninorm Logic with Fixed Point (

$${{\mathbf {IUL}}^{fp}}$$

IUL fp ). It may provide a first step towards settling the standard completeness problem for the Involutive Uninorm Logic (

$${\mathbf {IUL}}$$

IUL , posed in G. Metcalfe, F. Montagna. (J Symb Log 72:834–864, 2007)) in an algebraic manner. The result is proved via an embedding theorem which is based on the structural description of the class of odd involutive FL

$$_e$$

e -chains which have finitely many positive idempotent elements.

Funder

University of Pécs

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

https://link.springer.com/content/pdf/10.1007/s00153-022-00839-1.pdf

Reference18 articles.

1. Běhounek, L., Cintula, P., Hájek, P.: Introduction to Mathematical Fuzzy Logic. In P. Cintula, P. Hájek, C. Noguera, editors, Handbook of Mathematical Fuzzy Logic - Volume 1, volume 37 of Studies in Logic, Mathematical Logic and Foundations, pp. 1–101, College Publication, (2011)

2. Bukovský, L.: The Structure of the Real Line, p. 452. Springer Science & Business Media, Berlin (2011)

3. Casari, E.: Comparative logics and Abelian $$\ell $$-groups. In: Ferro, R., et al. (eds.) Logic Colloquium 88, pp. 161–190. North Holland, Amsterdam (1989)

4. Cintula, P., Hájek, P., Noguera, C., (eds.): Handbook of Mathematical Fuzzy Logic I-III, pp. 1356, College Publications, London (2011)

5. Fuchs, L.: Infinite Abelian Groups, Volume 1, Volume 36-I, Academic Press, pp. 290 (1970)