Results 1 to 10 of about 3,725 (142)
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
Bulletin of the Section of Logic, 2021 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 +1 more source
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account [PDF]
, 2021 One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found.
Carnielli, Walter +2 more
core +2 more sources
Ideal Paraconsistent Logics [PDF]
Studia Logica, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
A. Avron, O. Arieli, A. Zamansky
openaire +2 more sources
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts
Bulletin of the Section of Logic, 2022 Moral conflicts are the situations which emerge as a response to deal with conflicting obligations or duties. An interesting case arises when an agent thinks that two obligations A and B are equally important, but yet fails to choose one obligation over ...
Meha Mishra, A.V. Ravishankar Sarma
doaj +1 more source
Rotary Inverted Pendulum Identification for Control by Paraconsistent Neural Network
IEEE Access, 2021 Artificial neural networks (ANNs) have been used over the last few decades to perform tasks by learning with comparisons. Fitting input-output models, system identification, control, and pattern recognition are some fields for ANN applications.
Arnaldo de Carvalho +4 more
doaj +1 more source
Bulletin of the Section of Logic, 2022 G3 is Gödelian 3-valued logic, G3\(_\text{Ł}^\leq\) is its paraconsistent counterpart and G3\(_\text{Ł}^1\) is a strong extension of G3\(_\text{Ł}^\leq\).
Gemma Robles, José M. Méndez
doaj +1 more source
AGM-Like Paraconsistent Belief Change [PDF]
, 2017 Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle ...
Coniglio, Marcelo E. +2 more
core +1 more source
Paraconsistent Informational Logic
Journal of Applied Logic, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Forcheri P, Gentilini P
openaire +3 more sources
Paraconsistent Gödel Modal Logic
, 2022 AbstractWe introduce a paraconsistent modal logic$$\mathbf {K}\mathsf {G}^2$$KG2, based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation$$\lnot $$¬. We use the logic to formalise reasoning with graded, incomplete and inconsistent information.
Marta Bílková +2 more
openaire +3 more sources
Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem
Entropy, 2016 This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs).
Juliana Bueno-Soler, Walter Carnielli
doaj +1 more source