The Logic of Skolem Functions: A subtle Construction and a Subtle Error

Association for Automated Reasoning Newsletter 10:5-6 (1988)
  Copy   BIBTEX

Abstract

The full-text of the entire issue is available on the Web; readers seeing this should ensure that there is permission to download. It would be quite difficult to separate just my piece from the others.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,090

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An Application of Resolution to Expert Systems: Overcoming Schoenmakers' Paradigm.Joseph S. Fulda - 1994 - Association for Automated Reasoning Newsletter 25:10-12.
The Logistic Equation and Double Jeopardy.Joseph S. Fulda - 1987 - Ecological Modelling 36 (3/4):315-316.
Skolem Functions in Non-Classical Logics.Tore Fjetland Øgaard - 2017 - Australasian Journal of Logic 14 (1):181-225.
Hume and others on the paradox of tragedy.Robert J. Yanal - 1991 - Journal of Aesthetics and Art Criticism 49 (1):75-76.
Argument and evidence: an introduction to critical thinking.Moses Oke & Akeem Amodu - 2006 - Ibadan: Hope Publications. Edited by Akeem Amodu.
Postscript to Richard Jeffrey’s “Conditioning, Kinematics, and Exchangeability”.Carl G. Wagner - 2022 - Philosophy of Science 89 (3):631-643.
Theoretical Realism and Theoretical Equivalence.Clark Glymour - 1970 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1970:275 - 288.
Special issue on Automated Specification and Verification of Web Systems.Laura Kovács & Temur Kutsia - 2012 - Journal of Applied Logic 10 (1):1.
Referents and fixing reference.Howard Wettstein - unknown
Is Nuclear Deterrence Paradoxical?:Nuclear Deterrence, Morality, and Realism. John Finnis, Joseph M. Boyle, Jr., Germain Grisez; Moral Paradoxes of Nuclear Deterrence. Gregory Kavka. [REVIEW]Jeff McMahan - 1989 - Ethics 99 (2):407-.

Analytics

Added to PP
2013-06-04

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references