Logics of Formal Inconsistency
From MaRDI portal
Publication:4928710
DOI10.1007/978-1-4020-6324-4_1zbMath1266.03006OpenAlexW1481398220MaRDI QIDQ4928710
João Marcos, Marcelo E. Coniglio, Walter Alexandre Carnielli
Publication date: 18 June 2013
Published in: Handbook of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4020-6324-4_1
Related Items (only showing first 100 items - show all)
Negative modalities, consistency and determinedness ⋮ Non-deterministic semantics in polynomial format ⋮ Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) ⋮ Generalized correspondence analysis for three-valued logics ⋮ Erotetic search scenarios and three-valued logic ⋮ Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information ⋮ Incorporating the Relation into the Language? ⋮ Quasi-classical reasoning in paraconsistent databases ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics ⋮ A computational interpretation of conceptivism ⋮ Taming Paraconsistent (and Other) Logics ⋮ Self-extensional three-valued paraconsistent logics ⋮ Finite non-deterministic semantics for some modal systems ⋮ On polynomial semantics for propositional logics ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Society semantics and the logic way to collective intelligence ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Two semantical approaches to paraconsistent modalities ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ Dual erotetic calculi and the minimal \(\mathsf{LFI}\) ⋮ An informational view of classical logic ⋮ Negation and paraconsistent logics ⋮ Proof theory and mathematical meaning of paraconsistent C-systems ⋮ Paraconsistent fuzzy logic preserving non-falsity ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ Subminimal negation ⋮ Multimodal incompleteness under weak negations ⋮ Modal extensions of sub-classical logics for recovering classical logic ⋮ An NP-complete fragment of fibring logic ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ Variations on Jaśkowski’s Discursive Logic ⋮ A Note on Ciuciura’s mbC1 ⋮ Revisiting \(\mathbb Z\) ⋮ Ideal paraconsistent logics ⋮ Solving conflicts in information merging by a flexible interpretation of atomic propositions ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ Paraconsistency in classical logic ⋮ Paraconsistency and Sette’s calculus P1 ⋮ On the Propagation of Consistency in Some Systems of Paraconsistent Logic ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ Inquiry, Refutations and the Inconsistent ⋮ Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT ⋮ Reconciling First-Order Logic to Algebra ⋮ Inferential Semantics, Paraconsistency, and Preservation of Evidence ⋮ A Model-Theoretic Analysis of Fidel-Structures for mbC ⋮ Variations on the Collapsing Lemma ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ Paraconsistent orbits of logics ⋮ Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic ⋮ On Discourses Addressed by Infidel Logicians ⋮ New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart ⋮ Towards an Efficient Prover for the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic ⋮ Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency ⋮ Extensions of Priest-da Costa logic ⋮ In Defence of Dialetheism: A Reply to Beziau and Tkaczyk ⋮ Unnamed Item ⋮ Non-deterministic semantics for logics with a consistency operator ⋮ DLEAC: a dialetheic logic with exclusive assumptions and conclusions ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ On the Methodology of Paraconsistent Logic ⋮ Why Paraconsistent Logics? ⋮ A Survey of Annotated Logics ⋮ A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics ⋮ An epistemic approach to paraconsistency: a logic of evidence and truth ⋮ Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi ⋮ A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮ Cut-free sequent calculus and natural deduction for the tetravalent modal logic ⋮ Possible-translations semantics for some weak classically-based paraconsistent logics ⋮ Completeness and incompleteness for anodic modal logics ⋮ Multi-valued semantics: why and how ⋮ What is a non-truth-functional logic? ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory ⋮ Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics ⋮ Some Adaptive Contributions to Logics of Formal Inconsistency ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ On recent applications of paraconsistent logic: an exploratory literature review ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ A family of genuine and non-algebraisable C-systems ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE ⋮ Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics ⋮ On the system CB1 and a lattice of the paraconsistent calculi ⋮ Twist-Valued Models for Three-Valued Paraconsistent Set Theory ⋮ Finite two-dimensional proof systems for non-finitely axiomatizable logics ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ Credal Calculi, Evidence, and Consistency ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency ⋮ Finite-valued semantics for canonical labelled calculi ⋮ SAT-Inspired Eliminations for Superposition ⋮ An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
This page was built for publication: Logics of Formal Inconsistency
