Review: S. Ju. Maslov, Transformation of Arbitrary Canonical Calculi into CanonicaL Calculi of Special Types [Book Review]

Journal of Symbolic Logic 32 (4):527-527 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.Arnon Avron - unknown
Review: S. Ju. Maslov, Elliott Mendelson, Strong Representability of Sets by Calculi. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (3):391-392.
Review: S. U. Maslov, Some Properties of E. L. Post's Apparatus of Canonical Systems. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (4):524-526.
Five papers on logic and foundations.G. S. Ceitin (ed.) - 1971 - Providence, R.I.,: American Mathematical Society.
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.Arnon Avron & Anna Zamansky - unknown
Canonical signed calculi with multi-ary quantifiers.Anna Zamansky & Arnon Avron - 2012 - Annals of Pure and Applied Logic 163 (7):951-960.
Cut-free tableau calculi for some propositional normal modal logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Canonical calculi with (n,k)-ary quantifiers.Arnon Avron - unknown
Review: S. U. Maslov, Representation of Enumerable Sets by Means of Local Calculi. [REVIEW]Robert A. DiPaola - 1974 - Journal of Symbolic Logic 39 (1):188-188.
General quantum mechanical canonical point transformations.Norman M. Witriol - 1975 - Foundations of Physics 5 (4):591-605.
Review: S. U. Maslov, V. P. Orevkov, N. A. Sanin, The Concept of Strong Representability in the General Theory of Calculi. [REVIEW]Robert A. DiPaola - 1974 - Journal of Symbolic Logic 39 (1):187-188.
Tarski's fixed-point theorem and lambda calculi with monotone inductive types.Ralph Matthes - 2002 - Synthese 133 (1-2):107 - 129.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,425,536)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references