Review: Michael Gelfond, Vladimir Lifschitz, Robert A. Kowalski, Kenneth A. Bowen, The Stable Model Semantics for Logic Programming; Kit Fine, Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen, The Justification of Negation as Failure [Book Review]

Journal of Symbolic Logic 57 (1):274-277 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium, Volume 2, edited by Robert A. Kowalski and Kenneth A. Bowen, Series in logic programming, The MIT Press, Cambridge, Mass., and London, 1988, pp. 1070–1080. - Kit Fine. The justification of negation as failure. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 263–301. [REVIEW]Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
James E. Baumgartner. Bases for Aronszajn trees. Tsukuba journal of mathematics, vol. 9 , pp. 31–40. - James E. Baumgartner. Polarized partition relations and almost-disjoint functions. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 213–222. [REVIEW]Stevo Todorcevic - 2000 - Bulletin of Symbolic Logic 6 (4):497-498.
Review: John G. Kemeny, A New Approach to Semantics; Stephen Ullmann, The Principles of Semantics; Jens Erik Fenstad, Notes on Synonymy. [REVIEW]L. Jonathan Cohen - 1970 - Journal of Symbolic Logic 35 (2):310-312.
Review: Jens Erik Fenstad, Notes on Normative Logic. [REVIEW]A. N. Prior - 1959 - Journal of Symbolic Logic 24 (3):247-248.
Selected papers published before 1996.Vladimir Lifschitz - manuscript
Review: Jens Erik Fenstad, The Axiom of Determinateness. [REVIEW]A. S. Kechris - 1974 - Journal of Symbolic Logic 39 (2):331-332.
Review: Jens Erik Fenstad, A Note on Standard versus Non-Standard Topology. [REVIEW]W. A. J. Luxemburg - 1970 - Journal of Symbolic Logic 35 (2):344-344.
Review: Hans Skjervheim, Reason in Society and Modern Logic; Jens Erik Fenstad, Notes on the Application of Formal Methods in the Soft Sciences. [REVIEW]Alan Ross Anderson - 1960 - Journal of Symbolic Logic 25 (1):81-81.
‘Selective Programming’: Response to ‘From Felicitous Models to Answer Set Programming’ by V. Lifschitz.Kit Fine - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 97-124.
Book review: Melvin Fitting. Computability theory, semantics, and logic programming. [REVIEW]Martin Davis - 1990 - Notre Dame Journal of Formal Logic 31 (3):485-486.

Analytics

Added to PP
2013-11-22

Downloads
1 (#1,913,683)

6 months
1 (#1,516,603)

Historical graph of downloads

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

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references