Skolem fragments

DOI10.1305/NDJFL/1093870629MaRDI QIDQ1077397zbMATH OpenOpenAlexFDO

Authors Daniel Bonevac

Publication date 1984

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870629

zbMATH Keywords

ontologyontological commitment

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Recommendations

• On Skolem functions in proof theory
• Skolem Theory and Generalized Quantifiers
• Truth Definitions, Skolem Functions and Axiomatic Set Theory
• Skolemization in intermediate logics with the finite model property
• A note on definable Skolem functions

Cited in

(1)

• Skolem Machines

This page was built for publication: Skolem fragments

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