Towards the automation of set theory and its logic

Artificial Intelligence 10 (3):281-316 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(78)80017-4

Links

PhilArchive



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

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

A framework for the extraction and modeling of fact-finding reasoning from legal decisions: lessons from the Vaccine/Injury Project Corpus. [REVIEW]Vern R. Walker, Nathaniel Carie, Courtney C. DeWitt & Eric Lesh - 2011 - Artificial Intelligence and Law 19 (4):291-331.
Logic, Computing Machines, and Automation.Alice Mary Hilton - 2021 - New York, NY, USA: Hassell Street Press.
Automation et Avenir Humain. [REVIEW]P. J. McLaughlin - 1958 - Philosophical Studies (Dublin) 8:239-240.
A preliminary report on the theory of unification of sciences and its concept transforming automation.D. L. Székely - 1962 - Notre Dame Journal of Formal Logic 3 (4):234-242.
A quantum-mechanical automation.David Z. Albert - 1987 - Philosophy of Science 54 (4):577-585.
Logic, Computing Machines, and Automation.Robert F. Barnes - 1973 - Journal of Symbolic Logic 38 (2):341-342.
The Future of Logic: Foundation-Independence.Florian Rabe - 2016 - Logica Universalis 10 (1):1-20.
Review: V. I. Sestakov, Mathematical Logic and Automation. [REVIEW]Andrzej Harland - 1964 - Journal of Symbolic Logic 29 (1):51-51.
Automation with Human Face.Andrew Targowski & Vladimír Modrák - 2011 - Dialogue and Universalism 21 (4):5-20.
Review: Alice Mary Hilton, Logic, Computing Machines, and Automation. [REVIEW]Robert F. Barnes - 1973 - Journal of Symbolic Logic 38 (2):341-342.
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic.Alexander Steen & Christoph Benzmüller - 2016 - Logic and Logical Philosophy 25 (4):535-554.
Alice Mary Hilton. Logic, computing machines, and automation. Spartan Books, Washington, D.C., and Cleaver-Hume Press, London, 1963, xxi + 427 pp. [REVIEW]Robert F. Barnes - 1973 - Journal of Symbolic Logic 38 (2):341-342.
Carr John W., III. Languages, logic, learning, and computers. Computers and automation, vol. 7, April 1958, pp. 21–22, 25–26. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (3):256-257.
The Effects of Automation on Human Performance in High-Risk Environments: A Design Research Case Study on Cockpit Automation in Commercial Aircrafts in Israel.Avner Bendheim - 2018 - Frontiers in Human Neuroscience 12.
Automation Cybernetics and Society.H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (3):544-544.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,557,834)

6 months
2 (#1,250,897)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Nonstandard set theories and information management.Varol Akman & Mujdat Pakkan - 1996 - Journal of Intelligent Information Systems 6:5-31.
Automatic theorem proving in set theory.D. Pastre - 1978 - Artificial Intelligence 10 (1):1-27.

View all 7 citations / Add more citations

References found in this work

An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.
Computer proofs of limit theorems.W. W. Bledsoe, R. S. Boyer & W. H. Henneman - 1972 - Artificial Intelligence 3 (C):27-60.

Add more references