Axiomatization of the Infinite-Valued Predicate Calculus

Journal of Symbolic Logic 29 (2):110-111 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270440

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

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

Axiomatization of the infinite-valued predicate calculus.Louise Schmir Hay - 1963 - Journal of Symbolic Logic 28 (1):77-86.
A Gentzen-style axiomatization for basic predicate calculus.Mojtaba Aghaei & Mohammad Ardeshir - 2003 - Archive for Mathematical Logic 42 (3):245-259.
Universal Classes of MV-Chains with Applications to Many-valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (4):582-601.
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.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
A Tree-sequent Calculus For A Natural Predicate Extension Of Visser's Propositional Logic.Ryo Ishigaki & Kentaro Kikuchi - 2007 - Logic Journal of the IGPL 15 (2):149-164.
Universal Classes of MV-chains with Applications to Many-valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (5):581-601.
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.Beata Konikowska - 1993 - Journal of Applied Non-Classical Logics 3 (1):39-71.
An axiomatization of the finite-valued łukasiewicz calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
Some results on Jaśkowski’s discursive logic.Lafayette De Moraes & Jair Minoro Abe - 2001 - Logic and Logical Philosophy 9:25.
Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture.J. Y. Girard - 1976 - Warszawa: Państwowe Wydawn. Naukowe.
Labeled calculi and finite-valued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
Axiomatization of infinite-valued logics.J. Barkley Rosser - 1960 - Logique Et Analyse 3 (1):137-153.
Finite-valued reductions of infinite-valued logics.Aguzzoli Stefano & Gerla Brunella - 2002 - Archive for Mathematical Logic 41 (4):361-399.

Analytics

Added to PP
2017-02-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references