Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them

Mathematical Logic Quarterly 31 (19‐20):289-294 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850311902

Links

PhilArchive



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

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

On logic of complex algorithms.Helena Rasiowa - 1981 - Studia Logica 40 (3):289 - 310.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations.Anita Wasilewska - 1984 - Studia Logica 43 (4):395 - 404.
Connection-driven inductive theorem proving.Christoph Kreitz & Brigitte Pientka - 2001 - Studia Logica 69 (2):293-326.
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.
Theorem Proving via Uniform Proofs>.Alberto Momigliano - unknown
The Modal μ-Calculus Hierarchy over Restricted Classes of Transition Systems.Luca Alberucci & Alessandro Facchini - 2009 - Journal of Symbolic Logic 74 (4):1367 - 1400.
Frontiers of combining systems 2.Dov M. Gabbay & Maarten de Rijke (eds.) - 2000 - Philadelphia, PA: Research Studies Press.
On the role of the baire category theorem and dependent choice in the foundations of logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
Extensions of arithmetic for proving termination of computations.Clement F. Kent & Bernard R. Hodgson - 1989 - Journal of Symbolic Logic 54 (3):779-794.
The A Priori Meaningfulness Measure and Resolution Theorem Proving.Joseph S. Fulda & Kevin De Fontes - 1989 - Journal of Experimental and Theoretical Artificial Intelligence 1 (3):227-230.
Examining fragments of the quantified propositional calculus.Steven Perron - 2008 - Journal of Symbolic Logic 73 (3):1051-1080.
Computing is at best a special kind of thinking.James H. Fetzer - 2000 - In The Proceedings of the Twentieth World Congress of Philosophy. Charlottesville: Philosophy Doc Ctr. pp. 103-113.
Programs and logics.Anita Wasilewska - 1985 - Studia Logica 44 (2):125 - 137.

Analytics

Added to PP
2013-10-31

Downloads
16 (#906,902)

6 months
1 (#1,471,493)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anita Wasilewska
State University of New York, Stony Brook

Citations of this work

No citations found.

Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.

Add more references