Algebra of Proofs

Journal of Symbolic Logic 47 (4):904-907 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273112

Links

PhilArchive



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

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

Proof in C17 Algebra.Brendan Larvor - 2005 - Philosophia Scientiae:43-59.
Review: M. E. Szabo, Algebra of Proofs. [REVIEW]G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.
Algebra of proofs.M. E. Szabo - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
MV and Heyting Effect Algebras.D. J. Foulis - 2000 - Foundations of Physics 30 (10):1687-1706.
Szabo M. E.. Algebra of proofs. Studies in logic and the foundations of mathematics, vol. 88. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xii + 297 pp. [REVIEW]G. E. Minc - 1982 - Journal of Symbolic Logic 47 (4):904-907.
Approximation Logic and Strong Bunge Algebra.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (4):595-605.
Some remarks on wmv-algebras.Kazimiera Dyrda - 1983 - Bulletin of the Section of Logic 12 (2):55-61.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.
Number and its Algebra Syllabus of Lectures on the Theory of Number and its Algebra Introductory to a Collegiate Course in Algebra.Arthur Lefevre - 1896 - D.C. Heath & Co.
The Shuffle Hopf Algebra and Noncommutative Full Completeness.R. F. Blute & P. J. Scott - 1998 - Journal of Symbolic Logic 63 (4):1413-1436.
Weak theories of linear algebra.Neil Thapen & Michael Soltys - 2005 - Archive for Mathematical Logic 44 (2):195-208.
The Universal Group of a Heyting Effect Algebra.David J. Foulis - 2006 - Studia Logica 84 (3):407-424.
The universal group of a Heyting effect algebra.David J. Foulis - 2006 - Studia Logica 84 (3):407 - 424.
The shuffle Hopf algebra and noncommutative full completeness.R. F. Blute & P. J. Scott - 1998 - Journal of Symbolic Logic 63 (4):1413-1436.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,539,211)

6 months
2 (#1,196,523)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Sequent calculus for classical logic probabilized.Marija Boričić - 2019 - Archive for Mathematical Logic 58 (1-2):119-136.
Monoidal logics: completeness and classical systems.Clayton Peterson - 2019 - Journal of Applied Non-Classical Logics 29 (2):121-151.

Add more citations

References found in this work

No references found.

Add more references