Towards a dialogic interpretation of dynamic proofs

MaRDI QIDQ3003824zbMATH OpenFDO

Authors Diderik Batens

Publication date 31 May 2011

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Dialogues, strategies, and intuitionistic provability
• Arguments, proofs, and dialogues
• Some remarks on relations between proofs and games
• scientific article; zbMATH DE number 4137750
• Automated Reasoning with Analytic Tableaux and Related Methods

Cited in

(12)

• Yes fellows, most human reasoning is complex
• A logic for the discovery of deterministic causal regularities
• Two adaptive logics of norm-propositions
• Inconsistency-adaptive dialogical logic
• Adaptive logic characterizations of input/output logic
• Can proofs be animated by games?
• New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency
• Tutorial on Inconsistency-Adaptive Logics
• Typed Lambda Calculi and Applications
• Adaptive structure seeking dialogues
• Adaptive Fregean set theory
• Adaptive logics using the minimal abnormality strategy are ^1_1-complex

This page was built for publication: Towards a dialogic interpretation of dynamic proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003824)