scientific article; zbMATH DE number 1735919
From the introdcution: Adaptive logics have several unusual and fascinating properties. Where (monotonic) paraconsistent logics allow for inconsistent theories by not presupposing the consistency of the domain described by the theory, inconsistency-adaptive logics allow for inconsistencies but presuppose the consistency of all sentences `unless and until proven otherwise'. Interpreting a theory `as consistently as possible', they adapt to the specific inconsistencies that occur in it. This paper contains an attempt at an informative but not excessively technical survey of results. Although I list some theorems, I refer to other papers for proofs (and even for some definitions). After a brief characterization of inconsistency-adaptive logics (section 2), I consider some motivations (section 3) and applications (section 4). Then come the semantic basics (section 5), the dynamic proofs (section 6) and the dynamic semantics (section 7). Dimensions along which adaptive logics vary are expounded in sections 8-10, some meta-theoretic results are catalogued in section 11, and the elimination of inconsistencies in view of nonlogical `preferences' is the topic of section 12. In section 13, the perspective is broadened to logics that are adaptive with respect to other abnormalities than inconsistency. Finally, some clusters of open problems are listed in section 14. For the entire collection see [Zbl 0978.00027].
- A generic framework for adaptive vague logics
- The adaptive logic of compatibility
- On negation: Pure local rules
- A procedural criterion for final derivability in inconsistency-adaptive logics
- Minimally abnormal models in some adaptive logics
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- A conditional logic for abduction
- An inconsistency-adaptive deontic logic for normative conflicts
- The theory of the process of explanation generalized to include the inconsistent case
- Inconsistency-adaptive dialogical logic
- Paranegations and the square of oppositions
- A tableau method for inconsistency-adaptive logics
- Spoiled for choice?
- Hierarchic adaptive logics
- Inconsistency-adaptive modal logics. On how to cope with modal inconsistency
- The unexpected applicability of paraconsistent logic: a Chomskyan route to dialetheism
- Adaptive \(\mathbf{C}_n\) logics
- A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts
- On the acceptance of problem solutions derived from inconsistent constraints
- Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
- Two new strategies for inconsistency-adaptive logics
- Adaptive logics as a necessary tool for relative rationality: including a section on logical pluralism
- Adaptive logic characterizations of input/output logic
- Criteria causing inconsistencies. General gluts as opposed to negation gluts
- Reasoning with different levels of uncertainty
- Adaptive logic as a modal logic
- scientific article; zbMATH DE number 1303449 (Why is no real title available?)
- scientific article; zbMATH DE number 1354099 (Why is no real title available?)
- scientific article; zbMATH DE number 1735927 (Why is no real title available?)
- scientific article; zbMATH DE number 2019863 (Why is no real title available?)
- scientific article; zbMATH DE number 2019872 (Why is no real title available?)
- HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions
- scientific article; zbMATH DE number 1790848 (Why is no real title available?)
- scientific article; zbMATH DE number 1790854 (Why is no real title available?)
- scientific article; zbMATH DE number 2170945 (Why is no real title available?)
- scientific article; zbMATH DE number 2170948 (Why is no real title available?)
- scientific article; zbMATH DE number 2096990 (Why is no real title available?)
- scientific article; zbMATH DE number 2096998 (Why is no real title available?)
- scientific article; zbMATH DE number 910438 (Why is no real title available?)
- scientific article; zbMATH DE number 910439 (Why is no real title available?)
- New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency
- Three formats of prioritized adaptive logics: a comparative study
- Similarity-based inconsistency-tolerant logics
- Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence
- On Axioms and Rexpansions
- Hypotheses testing in adaptive logics: an application to medical diagnosis
- Adaptive proofs for networks of partial structures
- Tutorial on Inconsistency-Adaptive Logics
- Some Adaptive Contributions to Logics of Formal Inconsistency
- A dynamic characterization of the pure logic of relevant implication
- Wittgenstein and the liar
- Handling inconsistencies in the early calculus. An adaptive logic for the design of chunk and permeate structures
- A non-deterministic view on non-classical negations
- Adaptive Fregean set theory
- Modeling sorites reasoning with adaptive fuzzy logic
- An adaptive logic based on Jaśkowski's approach to paraconsistency
- A universal logic approach to adaptive logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4329282)
