Proof theory for finitely valid sentences

zbMATH Open0993.03073MaRDI QIDQ2772902FDOQ2772902

Authors: Wolfgang Degen 

Publication date: 16 September 2002

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

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

zbMATH Keywords

first-order logicsimple type theorytransitive closure logicfinitely valid sentencesinfinitary calculi

Mathematics Subject Classification ID

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

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)