A simple proof of functional completeness in many-valued logics based on Ł ukasiewicz's $C$ and $N$

Notre Dame Journal of Formal Logic 3 (2):114-117 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957156

Links

PhilArchive



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

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

The completeness of the factor semantics for łukasiewicz's infinite-valued logics.Vladimir L. Vasyukov - 1993 - Studia Logica 52 (1):143 - 167.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
An axiomatization of the finite-valued łukasiewicz calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
On structural completeness of many-valued logics.Piotr Wojtylak - 1978 - Studia Logica 37 (2):139 - 147.
A standard form for Ł ukasiewicz many-valued logics.Robert E. Clay - 1963 - Notre Dame Journal of Formal Logic 4 (1):59-66.
Functional completeness and canonical forms in many-valued logics.William H. Jobe - 1962 - Journal of Symbolic Logic 27 (4):409-422.
Many-valued modal logics.Melvin C. Fitting - unknown
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
Many-valued modal logics II.Melvin Fitting - unknown
Four-valued semantics for relevant logics (and some of their rivals).Greg Restall - 1995 - Journal of Philosophical Logic 24 (2):139 - 160.
Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown

Analytics

Added to PP
2010-08-24

Downloads
54 (#288,506)

6 months
15 (#159,278)

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