Non-standard logics for automated reasoning, edited by Philippe Smets, Abe Mamdani, Didier Dubois, and Henri Prade, Academic Press, London etc. 1988, x + 334 pp [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275202

Other Versions

original Morgan, Charles G. (1992) "Review: Philippe Smets, Abe Mamdani, Didier Dubois, Henri Prade, Non-Standard Logics for Automated Reasoning". Journal of Symbolic Logic 57(1):277-281
original Morgan, Charles G. (1992) "Non-Standard Logics for Automated Reasoning". Journal of Symbolic Logic 57(1):277-281

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,554

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

Didier Dubois and Henri Prade. Fuzzy sets and systems. Theory and applications. Mathematics in science and engineering, vol. 144. Academic Press, New York etc. 1980, xvii + 393 pp. [REVIEW]I. Grattan-Guinness - 1982 - Journal of Symbolic Logic 47 (3):702-703.
Alan Bundy. The computer modelling of mathematical reasoning. Academic Press, London etc. 1983, xiv + 322 pp. [REVIEW]Vladimir Lifschitz - 1987 - Journal of Symbolic Logic 52 (2):555-557.
Wallen Lincoln A.. Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1990, xv+ 239 pp. [REVIEW]Luis Fariñas del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.
Logic and computer science, edited by Piergiorgio Odifreddi, APIC studies in data processing, vol. 31, Academic Press, London, San Diego, etc., 1990, xii + 430 pp. [REVIEW]Grigori Mints - 1994 - Journal of Symbolic Logic 59 (3):1111-1114.
An automated modal logic for elementary changes.L. Fariñas Del Cerro & Andreas Herzig - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press.
Temporal logics and their applications, edited by Antony Galton, Academic Press, London, San Diego, etc., 1987, xii + 244 pp.—Therein: - Antony Galton. Temporal logic and computer science: an overview. Pp. 1– 52. - Howard Barringer. The use of temporal logic in the compositional specification of concurrent systems. Pp. 53– 90. - Roger Hale. Temporal logic programming. Pp. 91– 119. - Fariba Sadri. Three recent approaches to temporal reasoning. Pp. 121– 168. - Antony Galton. The logic of occurrence. Pp. 169– 196. - Dov Gabbay. Modal and temporal logic programming. Pp. 197– 237. [REVIEW]Luis Fariñas Del Cerro - 1990 - Journal of Symbolic Logic 55 (1):364-366.

Analytics

Added to PP
2014-04-05

Downloads
30 (#613,687)

6 months
8 (#840,439)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Charles Morgan
University of Pennsylvania

Citations of this work

Liberated Brouwerian Modal Logic.Charles G. Morgan - 1974 - Dialogue 13 (3):505-514.

Add more citations

References found in this work

No references found.

Add more references