scientific article; zbMATH DE number 2096993
From MaRDI portal
Publication:4811771
zbMath1054.03008MaRDI QIDQ4811771
Dagmar Provijn, Diderik Batens
Publication date: 6 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Classical propositional logic (03B05) Structure of proofs (03F07)
Related Items (11)
Socratic proofs ⋮ Nice embedding in classical logic ⋮ Adaptive logic characterizations of input/output logic ⋮ The relevance of a relevantly assertable disjunction for material implication ⋮ A logic for the discovery of deterministic causal regularities ⋮ Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism ⋮ Annotated Natural Deduction for Adaptive Reasoning ⋮ A new approach to classical relevance ⋮ An adaptive logic for relevant classical deduction ⋮ A procedural criterion for final derivability in inconsistency-adaptive logics ⋮ Yes fellows, most human reasoning is complex
This page was built for publication:
