New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency (Q4912987): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-94-007-4438-7_7
+Normal rank
@@ Property / OpenAlex ID @@
+W105379385
@@ Property / OpenAlex ID: W105379385 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards the unification of inconsistency handling mechanisms
+Normal rank
@@ Property / cites work @@
+Q4811768
@@ Property / cites work: Q4811768 / rank @@
+Normal rank
@@ Property / cites work @@
+A procedural criterion for final derivability in inconsistency-adaptive logics
+Normal rank
@@ Property / cites work @@
+A universal logic approach to adaptive logics
@@ Property / cites work: A universal logic approach to adaptive logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3003824
@@ Property / cites work: Q3003824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5695174
@@ Property / cites work: Q5695174 / rank @@
+Normal rank
@@ Property / cites work @@
+Yes fellows, most human reasoning is complex
@@ Property / cites work: Yes fellows, most human reasoning is complex / rank @@
+Normal rank
@@ Property / cites work @@
+Q5188172
@@ Property / cites work: Q5188172 / rank @@
+Normal rank
@@ Property / cites work @@
+Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Limits for paraconsistent calculi
@@ Property / cites work: Limits for paraconsistent calculi / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of propositional adaptive logic
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715109
@@ Property / cites work: Q5715109 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Priest's finite inconsistent arithmetics
+Normal rank
@@ Property / cites work @@
+On <i>LP</i>-models of arithmetic
@@ Property / cites work: On <i>LP</i>-models of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Minimally inconsistent LP
@@ Property / cites work: Minimally inconsistent LP / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistent models of arithmetic. I: Finite models
+Normal rank
@@ Property / cites work @@
+Inconsistent models of arithmetic Part II: the general case
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+On inference from inconsistent premisses
@@ Property / cites work: On inference from inconsistent premisses / rank @@
+Normal rank
@@ Property / cites work @@
+Q3285631
@@ Property / cites work: Q3285631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof procedure for adaptive logics
@@ Property / cites work: A proof procedure for adaptive logics / rank @@
+Normal rank