Results 111 to 120 of about 1,037 (173)
Graham Priest on Dialetheism and Paraconsistency
Outstanding Contributions to Logic, 2019 Can Başkent, T. M. Ferguson
semanticscholar +1 more source
Arch. Formal Proofs, 2016 Paraconsistency is about handling inconsistency in a coherent way. In classical and intuitionistic logic everything follows from an inconsistent theory. A paraconsistent logic avoids the explosion. Quite a few applications in computer science and engineering are discussed in the Intelligent Systems Reference Library Volume 110: Towards Paraconsistent ...
Anders Schlichtkrull, J. Villadsen
semanticscholar +6 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
The evidence approach to paraconsistency versus the paraconsistent approach to evidence
SynthÈse, 2020zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jonas Rafael Becker Arenhart +1 more
exaly +3 more sources
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
Outstanding Contributions to Logic, 2021 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 +3 more
semanticscholar +3 more sources
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 K. 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 K. Dyrkolbotn
openaire +1 more source
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
Paraconsistency in classical logic
Synthese, 2018 Classical propositional logic can be characterized, indirectly, by means of a complementary formal system whose theorems are exactly those formulas that are not classical tautologies, i.e., contradictions and truth-functional contingencies.
G. Pulcini, Achille C. Varzi
semanticscholar +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 \)
Edelcio Gonçalves de Souza +2 more
openaire +3 more sources
Introduction to Graham Priest on Dialetheism and Paraconsistency
Outstanding Contributions To Logic, 2019Thomas Macaulay Ferguson +2 more
exaly +2 more sources