On the methodology of paraconsistent logic

DOI10.1007/978-3-319-40220-8_12zbMATH Open1429.03109OpenAlexW2557559526MaRDI QIDQ5213765FDOQ5213765

Authors: Heinrich Wansing, S. P. Odintsov 

Publication date: 4 February 2020

Published in: Logical Studies of Paraconsistent Reasoning in Science and Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40220-8_12

Recommendations

• A generalisation of a refutation-related method in paraconsistent logics
• Publication:4205415
• scientific article; zbMATH DE number 2226184
• scientific article; zbMATH DE number 16515
• scientific article; zbMATH DE number 551010

zbMATH Keywords

constructive logicparaconsistent logicclassical logicmethodologyrelevance logicabsorptionmaximal paraconsistencyconnexive logicminimal loss of expressivenessseparation of concepts

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• The logic of paradox
• On inference from inconsistent premisses
• Truth and falsehood. An inquiry into generalized logical values
• The logic of information structures
• On the theory of inconsistent formal systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic: a history of its central concepts
• New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency
• Constructible falsity
• On negation: Pure local rules
• Title not available (Why is that?)
• Logics of formal inconsistency
• Free of Detachment: Logic, Rationality, and Gluts
• Logics of nonsense and Parry systems
• Constructive negation, implication, and co-implication
• Natural 3-valued logics—characterization and proof theory
• Constructive negations and paraconsistency
• Minimally inconsistent LP
• Extensions of Priest-da Costa logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Connexive modal logic
• Ideal paraconsistent logics
• Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
• Constructible falsity and inexact predicates
• Philosophical Conceptions of Information
• Handbook of philosophical logic. Vol. 9
• Depth relevance of some paraconsistent logics
• Predicate logics without the structure rules
• Negation as cancellation, and connexive logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Information, negation, and paraconsistency
• First-order da Costa logic
• A propositional calculus for inconsistent deductive systems
• Title not available (Why is that?)
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• The class of extensions of Nelson's paraconsistent logic
• Reassurance for the logic of paradox
• The Blackwell guide to philosophical logic
• Connexive modal logic based on positive S4
• Title not available (Why is that?)
• What is negation?
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Between order and chaos: The quest for meaningful information
• Title not available (Why is that?)
• A decidable fragment of predicate calculus
• Negation: Two points of view
• Falsification, natural deduction and bi-intuitionistic logic
• Title not available (Why is that?)
• Jaśkowski's criterion and three-valued paraconsistent logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Explaining deductive inference
• Necessary conditions for negation operators
• The classical constraint on relevance

Cited In (16)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A generalisation of a refutation-related method in paraconsistent logics
• Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
• Routley star and hyperintensionality
• Book review of: H. Andreas (ed.) and P. Verdée (ed.), Logical studies of paraconsistent reasoning in science and mathematics
• Title not available (Why is that?)
• The unexpected applicability of paraconsistent logic: a Chomskyan route to dialetheism
• Connexive implications in substructural logics
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• Title not available (Why is that?)
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
• Connexive Variants of Modal Logics Over FDE
• Socratic proofs and paraconsistency: A case study

This page was built for publication: On the methodology of paraconsistent logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213765)