Weak consistency and strong paraconsistency
tripleC: Communication, Capitalism & Critique, 2009 In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any ...
Gemma Robles
doaj +4 more sources
A Brief Prehistory of Philosophical Paraconsistency [PDF]
Principia: An International Journal of Epistemology, 2010 In celebration of Newton da Costa’s place in the history of paraconsistency, this paper considers the use and abuse of deliberate self-contradiction.
William H. F. Altman
doaj +6 more sources
Paraconsistency and its Possibilities: a personalised and partial perspective of the past [PDF]
Journal of Philosophical InvestigationsI take paraconsistent logic to be one of the most important and significant developments in logic and metaphysics in the last 100 years, challenging, as it does, one of the deepest dogmas entrenched in Western philosophy: that consistency is a sine qua ...
Graham Priest
doaj +2 more sources
An epistemic approach to paraconsistency: a logic of evidence and truth [PDF]
Synthese, 2017 The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated.
Carnielli, Walter, Rodrigues, Abilio
core +2 more sources
A Note on Fernández–Coniglio’s Hierarchy of Paraconsistent Systems
Axioms, 2020 A logic is called explosive if its consequence relation validates the so-called principle of ex contradictione sequitur quodlibet. A logic is called paraconsistent so long as it is not explosive.
Janusz Ciuciura
doaj +4 more sources
Restricted Rules of Inference and Paraconsistency [PDF]
Logic Journal of the IGPL, 2021 In this paper, we study two companions of a logic, viz., the left variable inclusion companion and the restricted rules companion, their nature and interrelations, especially in connection with paraconsistency.
Sankha S. Basu, Mihir K. Chakraborty
openalex +3 more sources
CAD/EDA, MODELING AND SIMULATION IN MODERN ELECTRONICS: COLLECTION OF SCIENTIFIC PAPERS OF THE V INTERNATIONAL SCIENTIFIC AND PRACTICAL CONFERENCE, 2021 This article describes an expert system that is designed and developed for a certain and limited application of human knowledge. Equipped with an information base, it is able to make decisions based on reasonable knowledge.
Oksana Porubay
openalex +3 more sources
Paraconsistency and its Philosophical Interpretations
Australasian Journal of Logic, 2018 Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena.
Eduardo Alejandro Barrio, Bruno Da Ré
openalex +3 more sources
Correction to: Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6 (Hardcover) 149.79 €. [PDF]
Studia Logica: An International Journal for Symbolic Logic, 2022 Bożena Czernecka-Rej
semanticscholar +3 more sources
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
Outstanding Contributions to LogicIn 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. E. Coniglio +3 more
openalex +2 more sources