A procedural criterion for final derivability in inconsistency-adaptive logics
From MaRDI portal
Publication:1775872
Recommendations
Cites work
- scientific article; zbMATH DE number 1612547 (Why is no real title available?)
- scientific article; zbMATH DE number 3167150 (Why is no real title available?)
- scientific article; zbMATH DE number 4137750 (Why is no real title available?)
- scientific article; zbMATH DE number 44622 (Why is no real title available?)
- scientific article; zbMATH DE number 47306 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1303449 (Why is no real title available?)
- scientific article; zbMATH DE number 1303450 (Why is no real title available?)
- scientific article; zbMATH DE number 1735919 (Why is no real title available?)
- scientific article; zbMATH DE number 2019864 (Why is no real title available?)
- scientific article; zbMATH DE number 1790850 (Why is no real title available?)
- scientific article; zbMATH DE number 2170946 (Why is no real title available?)
- scientific article; zbMATH DE number 2170948 (Why is no real title available?)
- scientific article; zbMATH DE number 1568684 (Why is no real title available?)
- scientific article; zbMATH DE number 2096990 (Why is no real title available?)
- scientific article; zbMATH DE number 2096993 (Why is no real title available?)
- scientific article; zbMATH DE number 2096994 (Why is no real title available?)
- scientific article; zbMATH DE number 910439 (Why is no real title available?)
- scientific article; zbMATH DE number 3266584 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- scientific article; zbMATH DE number 2236618 (Why is no real title available?)
- A dynamic characterization of the pure logic of relevant implication
- Blocks. The clue to dynamic aspects of logic
- Deductive and ampliative adaptive logics as tools in the study of creativity
- Direct dynamic proofs for the Rescher-Manor consequence relations: the flat case
- HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions
- On inference from inconsistent premisses
- Pragmatic truth and approximation to truth
- Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
- Shortcuts and dynamic marking in the tableau method for adaptive logics
- Signed systems for paraconsistent reasoning
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- The logic of pragmatic truth
- Towards the unification of inconsistency handling mechanisms
- Two new strategies for inconsistency-adaptive logics
Cited in
(10)- Tutorial on Inconsistency-Adaptive Logics
- On algorithmic properties of propositional inconsistency-adaptive logics
- The undecidability of propositional adaptive logic
- New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency
- scientific article; zbMATH DE number 2019872 (Why is no real title available?)
- Yes fellows, most human reasoning is complex
- Adaptive logic characterizations of input/output logic
- The dynamics of relevance: adaptive belief revision
- Adaptive logics as a necessary tool for relative rationality: including a section on logical pluralism
- A proof procedure for adaptive logics
This page was built for publication: A procedural criterion for final derivability in inconsistency-adaptive logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1775872)
