scientific article
From MaRDI portal
Publication:2735803
zbMath0974.03008MaRDI QIDQ2735803
Publication date: 4 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
formal reasoningclassical logicadaptive logicsmeaning changeblock analysis of proofsblock approach to formal logicblock languagedynamic aspects of reasoning
Other nonclassical logic (03B60) Classical first-order logic (03B10) Abstract deductive systems (03B22) Paraconsistent logics (03B53)
Related Items (8)
Modeling sorites reasoning with adaptive fuzzy logic ⋮ ``Platonic thought experiments: how on earth? ⋮ The undecidability of propositional adaptive logic ⋮ A dynamic characterization of the pure logic of relevant implication ⋮ A procedural criterion for final derivability in inconsistency-adaptive logics ⋮ Yes fellows, most human reasoning is complex ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ The theory of the process of explanation generalized to include the inconsistent case
This page was built for publication:
