Paraconsistent Logic Programming in Three and Four-Valued Logics

Bulletin of Symbolic Logic 28 (2):260-260 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2021.34

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Jaśkowski's criterion and three-valued paraconsistent logics.Alexander S. Karpenko - 1999 - Logic and Logical Philosophy 7:81.
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics.Natalya Tomova - 2021 - Bulletin of the Section of Logic 50 (1):35-53.
Partial and paraconsistent three-valued logics.Vincent Degauquier - 2016 - Logic and Logical Philosophy 25 (2):143-171.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
An Introduction to Paraconsistent Logics.Manuel Bremer - 2005 - Bulletin of Symbolic Logic 11 (3):447-451.
Self-extensional three-valued paraconsistent logics have no implications.Arnon Avron & Jean-Yves Beziau - 2016 - Logic Journal of the IGPL 25 (2):183-194.
Proof Theory of Paraconsistent Quantum Logic.Norihiro Kamide - 2018 - Journal of Philosophical Logic 47 (2):301-324.
A Useful Four-Valued Extension of the Temporal Logic KtT4.Vincent Degauquier - 2018 - Bulletin of the Section of Logic 47 (1):15-31.
Manuel Bremer. An introduction to paraconsistent logics. Peter Lang, Frankfurt, 2005, 249 pp. [REVIEW]Casey McGinnis - 2005 - Bulletin of Symbolic Logic 11 (3):447-451.

Analytics

Added to PP
2022-06-28

Downloads
29 (#772,073)

6 months
4 (#1,246,333)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references