Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness.
Autor: | Jenei, Sándor1 (AUTHOR) jenei@ttk.pte.hu |
---|---|
Zdroj: | Archive for Mathematical Logic. Feb2023, Vol. 62 Issue 1/2, p67-86. 20p. |
Databáze: | Academic Search Ultimate |
Externí odkaz: | |
Nepřihlášeným uživatelům se plný text nezobrazuje | K zobrazení výsledku je třeba se přihlásit. |