Review: Vladimir G. Kirin, On the Polynomial Representation of Operators in the $n$-valued Propositional Calculus [Book Review]

Journal of Symbolic Logic 37 (4):756-756 (1972)
  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,122

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

Review: Vladimir G. Kirin, Gentzen's Method for the Many-Valued Propositional Calculi. [REVIEW]Akira Nakamura - 1967 - Journal of Symbolic Logic 32 (4):538-539.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
Review: Tzu-Hua Hoo, $m$-Valued Sub-System of $(m + n)$-Valued Propositional Calculus. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 14 (4):261-261.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics.Jinzhao Wu, Hongyan Tan & Yongli Li - 1998 - Journal of Applied Non-Classical Logics 8 (4):353-360.
SO(m)-invariant differential operators on Clifford algebra-valued functions.F. Sommen & N. Van Acker - 1993 - Foundations of Physics 23 (11):1491-1519.
Review: Alan Rose, Strong Completeness of Fragments of the Propositional Calculus; Alan Rose, The Degree of Completeness of a Partial System of the 2-Valued Propositional Calculus. [REVIEW]R. C. Lyndon - 1952 - Journal of Symbolic Logic 17 (2):147-147.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.
Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
Review: V. I. Sestakov, Leo Ebner, A Dual Arithmetic Interpretation of the 3-Valued Propositional Calculus Utilized in the Simulation of This Calculus by Relay-Contact Networks. [REVIEW]Alan Rose - 1972 - Journal of Symbolic Logic 37 (1):187-187.

Analytics

Added to PP
2013-11-22

Downloads
9 (#1,154,504)

6 months
3 (#760,965)

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