scientific article; zbMATH DE number 834573

zbMath0838.03040MaRDI QIDQ4860661

Marco Mondadori

Publication date: 16 January 1996

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

zbMATH Keywords

normal formbottom-up inferencestableaux-like first-order classical deductions

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Complexity of proofs (03F20)

Related Items (3)

Semantics and proof-theory of depth bounded Boolean logics ⋮ Normality, non-contamination and logical depth in classical natural deduction ⋮ Synthetic tableaux: Minimal tableau search heuristics

This page was built for publication: