Maximality in finite-valued Łukasiewicz logics defined by order filters-Reference-Cited by-同舟云学术

Maximality in finite-valued Łukasiewicz logics defined by order filters

Published:2018-11-19 Issue:1 Volume:29 Page:125-156
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

Coniglio Marcelo E¹,Esteva Francesc²,Gispert Joan³,Godo Lluis²

Affiliation:

1. Dept. of Philosophy - IFCH and Centre for Logic, Epistemology and the History of Science, University of Campinas, Campinas, Brazil

2. Artificial Intelligence Research Institute (IIIA) - CSIC, Bellaterra Spain

3. Departament de Matemàtiques i Informàtica, Universitat de Barcelona, Barcelona, Spain

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

http://academic.oup.com/logcom/article-pdf/29/1/125/27511682/exy032.pdf

Reference42 articles.

1. Q-universal quasivarieties of algebras;Adams;Proceedings of the American Mathematical Society,1994

2. O. Arieli , A.Avron and A.Zamansky. Maximally paraconsistent three-valued logics. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Fangzhen Lin, Ulrike Sattler and Miroslaw Truszczynski, edsToronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010.

3. Ideal paraconsistent logics;Arieli;Studia Logica,2011

4. On strong maximality of paraconsistent finite-valued logics;Avron;Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010,2010

5. D. Batens . Dynamic dialectical logics. In Paraconsistent Logic. Essays on the Inconsistent, G. Priestet al., eds, pp. 187–217. Philosophia, 1989.

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

1. On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness;Studia Logica;2024-05-03

2. Paraconsistentization and many-valued logics;Logic Journal of the IGPL;2022-10-13

3. Genuine paracomplete logics;Logic Journal of the IGPL;2022-07-22

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

5. Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $$\mathbf {L3A_G}$$ and $$\mathbf {L3B_G}$$;Logica Universalis;2021-02-28