Results 31 to 40 of about 5,275 (212)

Paracomplete logics which are dual to the paraconsistent logics L3A and L3B [PDF]

, 2020
In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ).
Borja-Macı́as, Verónica, E. Coniglio, Marcelo, Hernández-Tello, Alejandro   +2 more
core   +1 more source

Inconsistency, paraconsistency and ω-inconsistency [PDF]

, 2018
In this paper I'll explore the relation between ω-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I'll focus on two very well known inconsistent but non-trivial theories of truth:
Da Re, Bruno
core   +2 more sources

Note on paraconsistency and reasoning about fractions [PDF]

, 2014
We apply a paraconsistent logic to reason about fractions.Comment: 6 ...
Bergstra, Jan A., Bethke, Inge
core   +2 more sources

On the algebra of possibly paraconsistent sets [PDF]

Neutrosophic Sets and Systems
In this paper we define the notion of possibly paraconsistent sets. We introduce algebraic operations on them and we analyze their properties. Moreover, it is shown that our class can be considered as isomorphic to the classes of intuitionistic and weak ...
Tomasz Witczak
doaj   +1 more source

Real Analysis in Paraconsistent Logic [PDF]

Journal of Philosophical Logic, 2011
A logic \(S\) is paraconsistent if it lacks the rule ECQ (``ex contradictione quodlibet'', i.e., \(A,\lnot A\Rightarrow B\)) or, from another point of view, if inconsistent theories built upon \(S\) are not necessarily trivial (i.e., do not necessarily contain every well-formed formula). Paraconsistent mathematics is the development of mathematics in a
McKubre-Jordens, M, Weber, Z
openaire   +3 more sources

Paraconsistent Logic and Its Place in Latin American Philosophy

RUDN Journal of Philosophy
This study presents an overview of paraconsistent logic, tracing its historical origins and development within what may be referred to as the Latin American school of paraconsistency.
Lauro de Matos Nunes Filho
doaj   +1 more source

Paraconsistent Logic and Weakening of Intuitionistic Negation

Journal of Intelligent Systems, 2012
A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. In an earlier paper [Notre Dame J. Form. Log.
Majkić Zoran
doaj   +1 more source

Paraconsistent OWL and related logics [PDF]

Semantic Web, 2013
The Web Ontology Language OWL is currently the most prominent formalism for representing ontologies in Semantic Web applications. OWL is based on description logics, and automated reasoners are used to infer knowledge implicitly present in OWL ontologies.
Maier, Frederick, Ma, Yue, Hitzler, Pascal   +2 more
openaire   +2 more sources

Logics of formal inconsistency arising from systems of fuzzy logic

, 2014
This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in ...
Coniglio, Marcelo, Esteva, Francesc, Godo, Lluís   +2 more
core   +1 more source

Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations

Bulletin of the Section of Logic, 2020
Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 𝔄4 of a De Morgan non-Boolean four-valued ...
Alexej P. Pynko
doaj   +1 more source