An infinitary system for the least fixed-point logic restricted to finite models

DOI10.1016/J.ENTCS.2008.03.067zbMATH Open1277.03025OpenAlexW2057038881MaRDI QIDQ2866740FDOQ2866740

Authors: Alexandre Matos Arruda, Ana Teresa Martins 

Publication date: 13 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.067

Recommendations

• Natural deduction for the finite least fixed point logic with an infinitary rule
• Infinitary logic and inductive definability over finite structures
• scientific article; zbMATH DE number 1163986
• A Deductive System for Existential Least Fixpoint Logic
• Infinitary logic for computer science

zbMATH Keywords

finite model theoryproof theoryleast fixed-point logicinfinitary natural deduction system

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The completeness of the first-order functional calculus
• Elements of finite model theory.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Upper and lower bounds for first order expressibility
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Logic and structure.
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• A Deductive System for Existential Least Fixpoint Logic

Cited In (3)

• Proof theory for finitely valid sentences
• Title not available (Why is that?)
• A Deductive System for Existential Least Fixpoint Logic

This page was built for publication: An infinitary system for the least fixed-point logic restricted to finite models

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