Results 111 to 120 of about 132 (129)
Some of the next articles are maybe not open access.
Bisimilarity for paraconsistent description logics
Journal of Intelligent & Fuzzy Systems, 2016We introduce comparisons w.r.t. information between interpretations in paraconsistent description logics and use them to define bisimilarity for such logics. This notion is useful for concept learning in description logics when inconsistencies occur. We give preservation results and the Hennessy-Milner property for comparisons w.r.t.
Nguyen, Linh Anh +3 more
openaire +2 more sources
2016
In this chapter, we briefly review paraconsistent logics which are closely related to the topics in this book. We give an exposition of their history and formal aspects. We also address the importance of applications of paraconsistent logics to engineering.
Seiki Akama, Newton C. A. da Costa
openaire +1 more source
In this chapter, we briefly review paraconsistent logics which are closely related to the topics in this book. We give an exposition of their history and formal aspects. We also address the importance of applications of paraconsistent logics to engineering.
Seiki Akama, Newton C. A. da Costa
openaire +1 more source
2002
We propose a framework which extends Antitonic Logic Programs [2] to an arbitrary complete bilattice of truth-values, where belief and doubt are explicitly represented. Based on Fitting's ideas, this framework allows a precise definition of important operators found in logic programming such as explicit negation and the default negation. In particular,
João Alcântara +2 more
openaire +1 more source
We propose a framework which extends Antitonic Logic Programs [2] to an arbitrary complete bilattice of truth-values, where belief and doubt are explicitly represented. Based on Fitting's ideas, this framework allows a precise definition of important operators found in logic programming such as explicit negation and the default negation. In particular,
João Alcântara +2 more
openaire +1 more source
Paraconsistent Logical Consequence
Journal of Applied Non-Classical Logics, 1998ABSTRACT The concept of paraconsistent logical consequence is usually negatively defined as a validity semantics in which not every sentences is deducible or in which inferential explosion does not occur. Paraconsistency has been negatively characterized in this way because paraconsistent logics have been designed specifically to avoid the ...
openaire +1 more source
Logical Weak Completions of Paraconsistent Logics
Journal of Logic and Computation, 2008Let P be an arbitrary theory and let X be any given logic. Let M be a set of atoms. We say that M is a X-stable model of P if M is a classical model of P and P∪¬M~ proves in logic X all atoms in M, this is denoted by P∪¬M~ ⊩xM. We prove that being an X-stable model is an invariant property for disjunctive programmes under a large class of logics.
M. Osorio Galindo +2 more
openaire +1 more source
2003
According to the standard definition, a logic is said to be paraconsistent if it fails the (so-called) rule of ex falso: i.e., α, ¬α ∀ β. Thus, paraconsistency captures an important sense in which a logic is inconsistency-tolerant, namely when arbitrary inference is prohibited in the presence of inconsistencies.
Philippe Besnard, Paul Wong
openaire +1 more source
According to the standard definition, a logic is said to be paraconsistent if it fails the (so-called) rule of ex falso: i.e., α, ¬α ∀ β. Thus, paraconsistency captures an important sense in which a logic is inconsistency-tolerant, namely when arbitrary inference is prohibited in the presence of inconsistencies.
Philippe Besnard, Paul Wong
openaire +1 more source
Paraconsistent Classical Logic
2002But the ambiguity will not trouble us, since the relata will always allow us to tell which relation is meant. We take it for granted that we are dealing with a standard sort of formal language1, and a standard recursive definition of truth-ina-model. Since the details of the language do not matter for our purposes, we will forgo specifying them.
openaire +2 more sources
Annotated Paraconsistent Logic
2009This paper presents a general view from the Two-Valued Annotated Paraconsistent Logic – 2vAPL to the Four-Valued Annotated Paraconsistent Logic – 4vAPL. The purpose to expand 2vAPL to 4vAPL is to enable the insertion of opinions from Experts in the knowledge base, so that the problems described approach their real condition, once ...
Martins Helga Gonzaga +4 more
openaire +1 more source
Paraconsistent Logics: Preamble
2015In this introductory chapter it is introduced some aspects of paraconsistent logics, such as its brief historical developments, some main systems and mention some applications. The chapter obviously does not cover many topics: moreover it is far from to be complete. In fact, the theme is now widespread and occupies a distinguished position in academia.
openaire +1 more source
Paraconsistent Logic, Evidence, and Justification
Studia Logica, 2017zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources