Axiomatization of the infinite-valued predicate calculus

Journal of Symbolic Logic 28 (1):77-86 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271339

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

Labeled calculi and finite-valued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
An axiomatization of the finite-valued łukasiewicz calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture.J. Y. Girard - 1976 - Warszawa: Państwowe Wydawn. Naukowe.
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.
The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
Topological representations of post algebras of order ω+ and open theories based on ω+-valued post logic.Helena Rasiowa - 1985 - Studia Logica 44 (4):353 - 368.
On the definition of an infinitely-many-valued predicate calculus.Joseph D. Rutledge - 1960 - Journal of Symbolic Logic 25 (3):212-216.
On axiomatization of many-valued logics associated with formalization of plausible reasonings.O. M. Anshakov, V. K. Finn & D. P. Skvortsov - 1989 - Studia Logica 48 (4):423 - 447.

Analytics

Added to PP
2009-01-28

Downloads
57 (#275,172)

6 months
22 (#118,559)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Fuzzy logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.

View all 8 citations / Add more citations

References found in this work

Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.
Axiomatization of infinite-valued logics.J. Barkley Rosser - 1960 - Logique Et Analyse 3 (1):137-153.
Many-Valued Logics.Bolesław Sobociński - 1955 - Journal of Symbolic Logic 20 (1):45-50.

Add more references