Axiom schemes for m-valued propositional calculi

&
Journal of Symbolic Logic 10 (3):61-82 (1945)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267026

Links

PhilArchive



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

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

A note concerning the many-valued propositional calculi.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (2):127-128.
A note on the deductive completeness of m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1949 - Journal of Symbolic Logic 14 (4):219-225.
Generalizability of the propositional and predicate calculi to infinite-valued calculi.Hermann F. Schott - 1970 - Notre Dame Journal of Formal Logic 11 (1):107-128.
Syntactical Treatments of Propositional Attitudes.Michael Morreau & Sarit Kraus - 1998 - Artificial Intelligence 106 (1):161-177.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
Formalisations of further ℵ0-valued Łukasiewicz propositional calculi.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):207 - 210.
Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
Axiom schemes for m-valued functional calculi of first order: Part I. definition of axiom schemes and proof of plausibility.J. B. Rosser & A. R. Turquette - 1948 - Journal of Symbolic Logic 13 (4):177-192.

Analytics

Added to PP
2009-01-28

Downloads
20 (#765,631)

6 months
3 (#969,763)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references