S. Yu. Maslov. Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1987, x + 151 pp [Book Review]

Journal of Symbolic Logic 53 (4):1260-1261 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200028152

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

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

Theory of Deductive Systems and its Applications.Daniel J. Dougherty, S. Yu Maslov, Michael Gelfond & Vladimir Lifschitz - 1988 - Journal of Symbolic Logic 53 (4):1260.
Theory of Deductive Systems and Its Applications.S. Iu Maslov, Michael Gelfond & Vladimir Lifschitz - 1987 - MIT Press (MA).
S. Ú. Maslov. Téoriá déduktivnyh sistém i éé priménéniá. Russian original of the preceding. Kibérnétika. Radio i Savz', Moscow1986, 135 pp. - K. D. Stroyan and José Manuel Bayod. Foundations of infinitesimal stochastic analysis. Studies in logic and the foundations of mathematics, vol. 119. North-Holland, Amsterdam, New York, and Oxford, 1986, xii + 478 pp. [REVIEW]Nigel Cutland - 1988 - Journal of Symbolic Logic 53 (4):1261-1262.
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.
Yuri V. Matiyasevich. Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1993, xxii + 264 pp. [REVIEW]C. Dimitracopoulos - 1997 - Journal of Symbolic Logic 62 (2):675-677.
Selected papers published before 1996.Vladimir Lifschitz - manuscript
Matthew Hennessy. Algebraic theory of processes. Foundations of computing series. The MIT Press, Cambridge, Mass., and London, 1988, ix + 272 pp. [REVIEW]Carl A. Gunter - 1990 - Journal of Symbolic Logic 55 (1):366-368.
John C. Mitchell. Foundations for programming languages. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1996, xix + 846 pp. [REVIEW]Arnon Avron - 1999 - Journal of Symbolic Logic 64 (2):918-922.
Shanahan Murray. Solving the frame problem. A mathematical investigation of the common sense law of inertia. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1997, xxxiv + 407 pp. [REVIEW]Michael Gelfond - 1998 - Journal of Symbolic Logic 63 (3):1186-1188.
The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
Jones Neil D., Computability and complexity, From a programming perspective, Foundations of computing, The MIT Press, Cambridge, Mass., and London, 1997, xvi + 466 pp. [REVIEW]James S. Royer - 1999 - Journal of Symbolic Logic 64 (2):914-916.
Susumu Hayashi and Hiroshi Nakano. PX. A computational logic. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1989, xiv + 200 pp. [REVIEW]Robert Harper - 1991 - Journal of Symbolic Logic 56 (2):763-766.
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. [REVIEW]Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
James Simpson: Burning to read. English Fundamentalism and its Reformation Opponents. The Belknap Press of Harvard University Press, Cambridge, Mass., London, England, 2007. [REVIEW]Laura Adrián-Lara - 2009 - Foro Interno. Anuario de Teoría Política 9:233-237.
James Simpson: Burning to read. English Fundamentalism and its Reformation Opponents. The Belknap Press of Harvard University Press, Cambridge, Mass., London, England, 2007. [REVIEW]Laura Adrián Lara - 2009 - Foro Interno. Anuario de Teoría Política 9:233-237.

Analytics

Added to PP
2016-06-30

Downloads
14 (#989,410)

6 months
1 (#1,469,946)

Historical graph of downloads
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