Revisiting the Adequacy Theorem for Fragments of Łukasiewicz Logic
A. V. Figallo introduced the 3-valued Super Łukasiewicz logic expanded with the Δ operator, denoted as C3↣,Δ, in 1990. This operator is used in the definition of 3-valued Łukasiewicz algebras, and it is not possible to recover Δ through implication and top in Super Łukasiewicz logic. On the other h...
Kaydedildi:
| Asıl Yazarlar: | , , |
|---|---|
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
Lodz University Press
2026-06-01
|
| Seri Bilgileri: | Bulletin of the Section of Logic |
| Konular: | |
| Online Erişim: | https://czasopisma.uni.lodz.pl/bulletin/article/view/27030 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|