Recursive \(\omega\)-rule for proof systems
From MaRDI portal
Publication:1119627
DOI10.1016/0020-0190(89)90089-6zbMath0671.03019MaRDI QIDQ1119627
Publication date: 1989
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(89)90089-6
Carnap theory; effective disjunctor; infinitary rules; proof systems in computer science; recursive proof systems
Related Items
Cites Work