scientific article; zbMATH DE number 1303452

zbMath0923.03020MaRDI QIDQ4250063

Kosta Došen

Publication date: 28 October 1999

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items

A universal Krull-Lindenbaum theorem ⋮ Consequence relations and admissible rules ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Graphs of plural cuts ⋮ Eliminating disjunctions by disjunction elimination ⋮ Remarks on the Scott-Lindenbaum theorem