scientific article; zbMATH DE number 510780

zbMath0794.03014MaRDI QIDQ4281253

Dov M. Gabbay

Publication date: 28 August 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

deduction rulesnonmonotonic logicslabelled deductive system

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22) General logic (03Bxx)

Related Items

A labeled argumentation framework, Finding explanations of inconsistency in multi-context systems, Through an Inference Rule, Darkly, An approach to characterize graded entailment of arguments through a label-based framework, Multicomponent proof-theoretic method for proving interpolation properties, Strongly analytic tableaux for normal modal logics