A Deductive System for Existential Least Fixpoint Logic

DOI10.1093/LOGCOM/3.2.197MaRDI QIDQ4276180zbMATH OpenOpenAlexFDO

Authors

Publication date 3 November 1994

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00074881/file/RR-1675.pdf

zbMATH Keywords

complexitydatabase queriesexistential least fixpoint logicinductive definitionprogram verificationsequent calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Database theory (68P15)

Recommendations

• A Deductive System for FO(ID) Based on Least Fixpoint Logic
• 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 4055578
• Existential least fixed-point logic and its relatives

Cited in

(12)

• A logical approach to asymptotic combinatorics I. First order properties
• On the effective content of asymptotic verifications of Edgeworth's Conjecture
• Stratified least fixpoint logic
• Symbioses between mathematical logic and computer science
• An extension of the formal deductive system \({\mathcal L}^*\)
• An infinitary system for the least fixed-point logic restricted to finite models
• scientific article; zbMATH DE number 4191139 (Why is no real title available?)
• One Useful Logic That Defines Its Own Truth
• A Deductive System for FO(ID) Based on Least Fixpoint Logic
• scientific article; zbMATH DE number 4055578 (Why is no real title available?)
• A Deductive System for PC(ID)
• Finite-model theory -- A personal perspective

This page was built for publication: A Deductive System for Existential Least Fixpoint Logic

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