scientific article; zbMATH DE number 4212036

MaRDI QIDQ3360174zbMATH OpenFDO

Authors Flavio Previale

Publication date 1988

zbMATH Keywords

propositional sequent calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• Gentzen's cut-free calculus versus the logic of paradox
• Modular Cut-Elimination: Finding Proofs or Counterexamples
• A sequent calculus for a logic of contingencies
• Cuts, gluts and gaps
• scientific article; zbMATH DE number 149884

Cited in

(1)

• The Hart-Shelah example, in stronger logics

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 Q3360174)