Skolem Machines

DOI10.3233/FI-2009-0034zbMATH Open1193.68108MaRDI QIDQ3632011FDOQ3632011

Authors:

Publication date: 23 June 2009

Published in: Fundamenta Informaticae (Search for Journal in Brave)

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 Keywords

completenessuniversalitycorrectnessfinitary geometric logicGeolog languageGeolog treesSkolem machines

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

Cited In (4)

• Invited Talk: Coherentisation of First-Order Logic
• Title not available (Why is that?)
• Skolem Machines and Geometric Logic
• Query Completeness of Skolem Machine Computations

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)