Theory of Deductive Systems and its Applications

, , &
Journal of Symbolic Logic 53 (4):1260 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274627

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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.S. Iu Maslov, Michael Gelfond & Vladimir Lifschitz - 1987 - MIT Press (MA).
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. [REVIEW]Daniel J. Dougherty - 1988 - Journal of Symbolic Logic 53 (4):1260-1261.
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.
Review: S. Pankajam, Ideal Theory in Boolean Algebra and its Application to Deductive Systems. [REVIEW]E. R. Lorch - 1942 - Journal of Symbolic Logic 7 (3):125-125.
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.
Review: S. U. Maslov, Some Properties of E. L. Post's Apparatus of Canonical Systems. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (4):524-526.
Pankajam S.. Ideal theory in Boolean algebra and its application to deductive systems. Proceedings of the Indian Academy of Sciences, Section A, vol. 14 , pp. 670–684. [REVIEW]E. R. Lorch - 1942 - Journal of Symbolic Logic 7 (3):125-125.
Ideal Theory in Boolean Algebra and its Application to Deductive Systems.S. Pankajam - 1942 - Journal of Symbolic Logic 7 (3):125-125.
Review: S. U. Maslov, V. P. Orevkov, N. A. Sanin, The Concept of Strong Representability in the General Theory of Calculi. [REVIEW]Robert A. DiPaola - 1974 - Journal of Symbolic Logic 39 (1):187-188.
Review: S. U. Maslov, On the "Tag" Problem of E. L. Post. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (4):526-527.

Analytics

Added to PP
2013-11-22

Downloads
21 (#761,167)

6 months
5 (#710,905)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

SOAR as a unified theory of cognition: Issues and explanations.Allen Newell - 1992 - Behavioral and Brain Sciences 15 (3):464-492.
Précis of Unified theories of cognition.Allen Newell - 1992 - Behavioral and Brain Sciences 15 (3):425-437.
SOAR as a world view, not a theory.Earl Hunt & R. Duncan Luce - 1992 - Behavioral and Brain Sciences 15 (3):447-448.
A cognitive process shell.Steven A. Vere - 1992 - Behavioral and Brain Sciences 15 (3):460-461.

View all 28 citations / Add more citations

References found in this work

No references found.

Add more references