Skolem Machines

DOI10.3233/FI-2009-0034MaRDI QIDQ3632011zbMATH OpenFDO

Authors

Publication date 23 June 2009

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2009-0034

zbMATH Keywords

completenesscorrectnessfinitary geometric logicGeolog languageGeolog treesSkolem machinesuniversality

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

Recommendations

• Machines
• Skolem circles
• Skolem redux
• Skolem fragments
• The machine of Bohnenberger
• scientific article; zbMATH DE number 874542
• The Weitzenböck machine
• scientific article; zbMATH DE number 4138739

Cited in

(4)

• Invited Talk: Coherentisation of First-Order Logic
• Skolem Machines and Geometric Logic
• Query Completeness of Skolem Machine Computations
• scientific article; zbMATH DE number 4082958 (Why is no real title available?)

This page was built for publication: Skolem Machines

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