Natural deduction for the finite least fixed point logic with an infinitary rule

DOI10.1093/jigpal/jzp020zbMath1182.03101OpenAlexW2161977620MaRDI QIDQ3644843

Alexandre Matos Arruda, Ana Teresa Martins

Publication date: 12 November 2009

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzp020

zbMATH Keywords

proof theoryfinite model theoryleast fixed point logicinfinitary natural deduction systeminfinitary sequent calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)