Proof theory for finitely valid sentences

MaRDI QIDQ2772902zbMATH OpenFDO

Authors Wolfgang Degen

Publication date 16 September 2002

Published in Reports on Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

finitely valid sentencesfirst-order logicinfinitary calculisimple type theorytransitive closure logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Natural deduction for the finite least fixed point logic with an infinitary rule
• An infinitary system for the least fixed-point logic restricted to finite models
• scientific article; zbMATH DE number 1342205
• scientific article; zbMATH DE number 3872671
• scientific article; zbMATH DE number 3920436

Cited in

(1)

• Criterion for propositional calculi to be finitely generated

This page was built for publication: Proof theory for finitely valid sentences

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