Results 11 to 20 of about 806,990 (259)
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig one
Natalya Tomova
doaj +2 more sources
Ideal Paraconsistent Logics [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
A. Avron, O. Arieli, A. Zamansky
openaire +3 more sources
A Sixth Mass Extinction? How Linguistic Uncertainty Shapes Our Understanding of the Biodiversity Crisis. [PDF]
ABSTRACT The term ‘sixth mass extinction’ has become synonymous with the current biodiversity crisis. However, despite a general agreement that current biodiversity declines are severe, no consensus has been reached on whether this constitutes a ‘mass extinction event’, and thus, whether our current situation is comparable to the catastrophic ...
Linke L, Clements CF.
europepmc +2 more sources
Presentation of the Special Issue of Principia on the Interpretation of Paraconsistent Logics [PDF]
We present this special issue of Principia on the interpretation of paraconsistent logics. After a brief discussion on the very idea of interpreting paraconsistent logics according to different perspectives, we introduce the source of the papers in this
Jonas R. Becker Arenhart +1 more
doaj +2 more sources
Combined Paraconsistent Logics and their (Co)Exponentials
Combined logics of sentences and events consist of two parts: the external logic depending on epistemological assumptions and the internal logic depending on ontological ones. They were introduced by V.A. Smirnov following some G. Frege's and N. Vasiliev'
Vladimir L Vasyukov
doaj +1 more source
Argumentation-Based Paraconsistent Logics [PDF]
Argumentation is a promising approach for reasoning with inconsistent information. Starting from a knowledge base encoded in a logical language, an argumentation system defines arguments and attacks between them using the consequence operator associated with the language. Finally, it uses a semantics for evaluating the arguments.
Jonathan Ben-Naim
openalex +3 more sources
A basic system of paraconsistent Nelsonian logic of conditionals. [PDF]
Olkhovikov GK.
europepmc +3 more sources
Opening address: Paraconsistent logic
I am honoured with and touched by the invitation of delivering the opening address of this Congress. Firstly, to see paraconsistent logic flourishing and growing, as we can readily see by simply glacing over the programme of this conference, is among one of my greatest joys.
Newton C. A. da Costa
openalex +4 more sources
Transreal arithmetic as a consistent basis for paraconsistent logics [PDF]
Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been pro- posed as a formal basis for handling inconsistent data, as commonly arise in human enterprises, and as ...
Anderson, James A.D.W., Gomide, Walter
core +2 more sources
On Partial and Paraconsistent Logics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
R. Muskens
openaire +5 more sources

