Towards the automation of set theory and its logic
type: Item
instance of: scholarly article
title: Towards the automation of set theory and its logic
zbMATH Open document ID: 0395.68082
DOI: 10.1016/S0004-3702(78)80017-4
published in: Artificial Intelligence
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03-04
Mathematics Subject Classification ID: 03Exx
zbMATH DE Number: 3614214
zbMATH Keywords: Automatic Theorem Proving
zbMATH Keywords: Gentzen-Type Sequential Logic
zbMATH Keywords: Incompletness
zbMATH Keywords: Set Theory
author: Frank Malloy Brown
MaRDI profile type: Publication
cites work: Doing arithmetic without diagrams
cites work: Q5569442
cites work: Splitting and reduction heuristics in automatic theorem proving
cites work: Computer proofs of limit theorems
cites work: Proving Theorems about LISP Functions
cites work: Mechanizing structural induction. II: Strategies
cites work: Toward Mechanical Mathematics
cites work: An improved proof procedure1
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q4088305
cites work: Q5678447
cites work: Automatic theorem proving in set theory
description: scientific article; zbMATH DE number 3614214