Results 151 to 160 of about 2,727 (208)
Some of the next articles are maybe not open access.
Paraconsistency in Mathematics
, 2022Paraconsistent 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
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
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
Introduction to Graham Priest on Dialetheism and Paraconsistency
Outstanding Contributions To Logic, 2019Thomas Ferguson
exaly +2 more sources
Paraconsistent Orbits of Logics
Logica Universalis, 2021The 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 +2 more
openaire +3 more sources
Journal of Philosophical Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
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.orgThe 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
South African Journal of Philosophy, 2007
No Abstract.South African Journal of Philosophy Vol.26 (2) 2007:239 ...
openaire +2 more sources
No Abstract.South African Journal of Philosophy Vol.26 (2) 2007:239 ...
openaire +2 more sources
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marquis, Pierre, Porquet, Nadège
openaire +3 more sources
2002
A logic is paraconsistent if it does not validate the principle that from a pair of contradictory sentences, A and ∼A, everything follows, as most orthodox logics do. If a theory has a paraconsistent underlying logic, it may be inconsistent without being trivial (that is, entailing everything).
openaire +2 more sources
A logic is paraconsistent if it does not validate the principle that from a pair of contradictory sentences, A and ∼A, everything follows, as most orthodox logics do. If a theory has a paraconsistent underlying logic, it may be inconsistent without being trivial (that is, entailing everything).
openaire +2 more sources