On inference from inconsistent premisses
From MaRDI portal
Publication:2544606
DOI10.1007/BF00154005zbMath0212.31103OpenAlexW2013788787MaRDI QIDQ2544606
Publication date: 1970
Published in: Theory and Decision (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00154005
Related Items (69)
A paraconsistent approach to deal with epistemic inconsistencies in argumentation ⋮ A generic framework to include belief functions in preference handling and multi-criteria decision ⋮ An adaptive logic based on Jaśkowski's approach to paraconsistency ⋮ Adaptive logic characterizations of input/output logic ⋮ Active logic semantics for a single agent in a static world ⋮ A methodological shift in favor of (some) paraconsistency in the sciences ⋮ Qualitative capacities: basic notions and potential applications ⋮ Possibilistic logic: a retrospective and prospective view ⋮ An argumentation system for defeasible reasoning ⋮ Ranking of fuzzy intervals seen through the imprecise probabilistic lens ⋮ Logic-based argumentation with existential rules ⋮ Logical limits of abstract argumentation frameworks ⋮ The inapplicability of (selected) paraconsistent logics ⋮ On a paraconsistentization functor in the category of consequence structures ⋮ PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES ⋮ Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases ⋮ Revising Logics ⋮ Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases ⋮ On the measure of conflicts: Shapley inconsistency values ⋮ Simple contrapositive assumption-based argumentation frameworks ⋮ Extending Removed Sets Revision to partially preordered belief bases ⋮ An evidence logic perspective on Schotch-Jennings forcing ⋮ Logical argumentation by dynamic proof systems ⋮ A postulate-driven study of logical argumentation ⋮ Unified deductive systems: an outline ⋮ A capacity-based semantics for inconsistency-tolerant inferences ⋮ Classical logic, argument and dialectic ⋮ On the structure of dialectical reasoning in the social and policy sciences ⋮ Solving conflicts in information merging by a flexible interpretation of atomic propositions ⋮ A curious dialogical logic and its composition problem ⋮ Keeping Globally Inconsistent Scientific Theories Locally Consistent ⋮ Paraconsistent orbits of logics ⋮ Deductive argumentation by enhanced sequent calculi and dynamic derivations ⋮ Probabilities with gaps and gluts ⋮ Information Fusion and Revision in Qualitative and Quantitative Settings ⋮ New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency ⋮ An adaptive logic for relevant classical deduction ⋮ Assessing the epistemological relevance of Dung-style argumentation theories ⋮ A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information ⋮ Inconsistency as qualified truth: a probability logic approach ⋮ Logic based merging ⋮ A dynamic characterization of the pure logic of relevant implication ⋮ A logic-based theory of deductive arguments ⋮ A procedural criterion for final derivability in inconsistency-adaptive logics ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Measures of inconsistency and defaults ⋮ Reasoning under inconsistency: a forgetting-based approach ⋮ An argumentation framework for merging conflicting knowledge bases ⋮ Combining Imprecise Probability Masses with Maximal Coherent Subsets: Application to Ensemble Classification ⋮ A review of the relations between logical argumentation and reasoning with maximal consistency ⋮ Adaptive Proofs for Networks of Partial Structures ⋮ On the Methodology of Paraconsistent Logic ⋮ EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface ⋮ Approximate coherence-based reasoning ⋮ Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases ⋮ Yes fellows, most human reasoning is complex ⋮ Ways things can't be ⋮ Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case ⋮ A new approach for preference-based argumentation frameworks ⋮ A simple signed system for paraconsistent reasoning ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ Beyond contradiction and consistency: a design for a dialectical policy system ⋮ The theory of the process of explanation generalized to include the inconsistent case ⋮ Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge ⋮ Paraconsistent inference relations induced from inconsistency measures ⋮ Getting the most out of inconsistency ⋮ Rich preference-based argumentation frameworks ⋮ \(\text{DA}^2\) merging operators ⋮ Measuring inconsistency
This page was built for publication: On inference from inconsistent premisses
