A Complete Cyclic Proof System for Inductive Entailments in First Order Logic

DOI10.29007/xgc6zbMath1416.03027OpenAlexW2907543096MaRDI QIDQ5222971

Cristina Serban, Radu Iosif

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/xgc6

zbMATH Keywords

inductive definitionsinfinite descentcyclic proofsantichain-based tree automata language inclusion

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Structure of proofs (03F07)