Two remarks concerning Menger's and Schultz' postulates for the substitutive algebra of the $2$-place functors in the $2$-valued calculus of propositions [Book Review]

Notre Dame Journal of Formal Logic 5 (2):125-128 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957802

Links

PhilArchive



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

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 an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
A diagram of the functors of the two-valued propositional calculus.Thomas W. Scharle - 1962 - Notre Dame Journal of Formal Logic 3 (4):243-255.
Note to my paper: "A diagram of the functors of the two-valued propositional calculus".Thomas W. Scharle - 1962 - Notre Dame Journal of Formal Logic 3 (4):287-288.
An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Lukasiewicz.Roberto Cignoli & Daniele Mundici - 1997 - Studia Logica 58 (1):79-97.
Construction of monadic three-valued łukasiewicz algebras.Luiz Monteiro, Sonia Savini & Julio Sewald - 1991 - Studia Logica 50 (3-4):473 - 483.
An axiomatization of the finite-valued łukasiewicz calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
The Menger algebras of $2$-place functions in the $2$-valued logic. [REVIEW]Philip Calabrese - 1966 - Notre Dame Journal of Formal Logic 7 (4):333-340.
Note on a recent set of postulates for the calculus of propositions.E. V. Huntington - 1939 - Journal of Symbolic Logic 4 (1):10-14.
A complete classification of three-place functors in two-valued logic.J. C. Muzio - 1976 - Notre Dame Journal of Formal Logic 17 (3):429-437.
On łukasiewicz-moisil algebras of fuzzy sets.Sergiu Rudeanu - 1993 - Studia Logica 52 (1):95 - 111.
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.
Remarks on the church-Rosser property.E. G. K. López-Escobar - 1990 - Journal of Symbolic Logic 55 (1):106-112.
Proof of axiomatizability of full many-valued systems of calculus of propositions.Jerzy Słupecki - 1971 - Studia Logica 29 (1):155 - 168.

Analytics

Added to PP
2010-08-24

Downloads
29 (#536,973)

6 months
8 (#342,364)

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