On the infinite-valued Łukasiewicz logic that preserves degrees of truth-Reference-Cited by-同舟云学术

On the infinite-valued Łukasiewicz logic that preserves degrees of truth

Published:2006-08-15 Issue:7 Volume:45 Page:839-868
ISSN:0933-5846
Container-title:Archive for Mathematical Logic
language:en
Short-container-title:Arch. Math. Logic

Author:

Font Josep Maria,Gil Àngel J.,Torrens Antoni,Verdú Ventura

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s00153-006-0001-7.pdf

Reference34 articles.

1. Avron A. (1988) The semantics and proof theory of linear logic. Theoret. Comput. Sci. 57, 161–184

2. Balbes R., Dwinger P. (1974) Distributive Lattices. University of Missouri Press, Columbia

3. Blok W., Pigozzi D. Algebraizable Logics, vol. 396. Mem. Am. Math. Soc. A.M.S., Providence (1989)

4. Blok W., Pigozzi D. (1992). Algebraic semantics for universal Horn logic without equality. In: Romanowska A., Smith J.D.H. (eds). Universal Algebra and Quasigroup Theory. Heldermann, Berlin, pp. 1–56

5. Chang C.C. (1958) Algebraic analysis of many-valued logics. Trans. Am Math. Soc. 88, 467–490

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Foundations of reasoning with uncertainty via real-valued logics;Proceedings of the National Academy of Sciences;2024-05-16

2. Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras;Studia Logica;2022-05-28

3. Pure Variable Inclusion Logics;Logic and Logical Philosophy;2021-11-28

4. On the expressive power of Łukasiewicz square operator;Journal of Logic and Computation;2021-10-25

5. Logics of formal inconsistency based on distributive involutive residuated lattices;Journal of Logic and Computation;2021-05-10