Results 121 to 130 of about 2,394 (173)

Recent results by the inconsistency-adaptive labourers. [PDF]

, 2007
Batens, Diderik, Meheus, Joke
core  

Consistency, Paraconsistency and Truth: Logic, the Whole Logic and Nothing but 'the' Logic

Ideas y Valores, 1996
Newton Costa da, Otávio Bueno
doaj  

Paraconsistent logic

, 2008
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Paraconsistency in Mathematics

, 2022
Paraconsistent logic makes it possible to study inconsistent theories in a coherent way. From its modern start in the mid-20th century, paraconsistency was intended for use in mathematics, providing a rigorous framework for describing abstract objects ...
Z. Weber
semanticscholar   +1 more source

Paraconsistent resolution

The Australasian Journal of Logic, 2022
Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for inconsistent theories, specializing to the classical semantics for the consistent ones.
Michal Walicki, Sjur Dyrkolbotn
openaire   +1 more source

Paraconsistent Orbits of Logics

Logica Universalis, 2021
The paper examines \textit{paraconsistentization by consistent sets} of logics viewed as consequence relations. In this sense, given a logic \( L=(X,\vdash _{L})\), the paraconsistentization of \(L\) by consistent sets is, \textit{grosso modo}, the result of restricting \(\vdash _{L}\) to pairs \( \left\langle \Gamma ,A\right\rangle \) where \(\Gamma \)
Souza, Edelcio G. de, Leite, Alexandre Fernandes Batista Costa, Dias, Diogo H. B.   +2 more
openaire   +3 more sources

Paraconsistent Logic

Journal of Philosophical Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Consensus, Inconsistency, Emergence: what's paraconsistency got to do with it?

arXiv.org
The consensus problem, briefly stated, consists of having processes in an asynchronous distributed system agree on a value. It is widely known that the consensus problem does not have a deterministic solution that ensures both termination and consistency,
Gabriel Rocha
semanticscholar   +1 more source

Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency

Outstanding Contributions to Logic
In this paper we study intermediate logics between the degree preserving companion of Godel fuzzy logic with an involution and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts.
M. Coniglio, F. Esteva, Joan Gispert, L. Godo   +3 more
semanticscholar   +1 more source

Literal and Controllable Paraconsistency

Logic and Logical Philosophy
The principle of explosion asserts that any formula can be derived from any pair of other contradictory formulas. Paraconsistent logic is typically regarded as a logic in which the universal validity of this principle is questioned.
J. Ciuciura
semanticscholar   +1 more source