scientific article; zbMATH DE number 1028825

zbMath0875.03039MaRDI QIDQ4342088

No author found.

Publication date: 8 July 1997

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

Mathematics Subject Classification ID

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

Related Items

The saturated tableaux for linear miniscope Horn-like temporal logic, Natural deduction based upon strict implication for normal modal logics, Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization, Does the deduction theorem fail for modal logic?, Direct deductive computation on discourse representation structures, Algebraic logic for classical conjunction and disjunction, Logical string rewriting, Semantic values for natural deduction derivations, Experimenting with Isabelle in ZF set theory