scientific article; zbMATH DE number 1303452

MaRDI QIDQ4250063zbMATH OpenFDO

Authors Kosta Došen

Publication date 28 October 1999

zbMATH Keywords

compactnessextensions of preordersinfinitary forms of cutmultiple-conclusion consequence relationsrestricted structural rules

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A Proof of the Characterization Theorem for Consequence Relations
• Remarks on the Scott-Lindenbaum theorem
• On a conservative extension argument of Dana Scott
• Disjunctive and conjunctive multiple-conclusion consequence relations
• Publication:3475254

Cited in

(11)

• Eliminating disjunctions by disjunction elimination
• Remarks on the Scott-Lindenbaum theorem
• A universal Krull-Lindenbaum theorem
• Consequence relations and admissible rules
• On a conservative extension argument of Dana Scott
• A Proof of the Characterization Theorem for Consequence Relations
• scientific article; zbMATH DE number 4143956 (Why is no real title available?)
• Graphs of plural cuts
• scientific article; zbMATH DE number 1185496 (Why is no real title available?)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Dana Scott's work with generalized consequence relations

This page was built for publication:

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