Review: Robert McNaughton, A Theorem About Infinite-Valued Sentential Logic [Book Review]

Journal of Symbolic Logic 16 (3):227-228 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266431

Links

PhilArchive



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

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 theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
A constructive proof of McNaughton's theorem in infinite-valued logic.Daniele Mundici - 1994 - Journal of Symbolic Logic 59 (2):596-602.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
A Characterization of the free n-generated MV-algebra.Daniele Mundici - 2006 - Archive for Mathematical Logic 45 (2):239-247.
On normal forms in Łukasiewicz logic.A. Di Nola & A. Lettieri - 2004 - Archive for Mathematical Logic 43 (6):795-823.
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.
Consequence and Interpolation in Łukasiewicz Logic.Daniele Mundici - 2011 - Studia Logica 99 (1-3):269-278.
Review: Alan Rose, Many-Valued Logical Machines. [REVIEW]Robert McNaughton - 1962 - Journal of Symbolic Logic 27 (2):250-250.
Identity, many-valuedness and referentiality.Grzegorz Malinowski - 2013 - Logic and Logical Philosophy 22 (4):375-387.
Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński.Robert Sochacki - 2008 - Logic and Logical Philosophy 17 (4):321-327.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
Review: Robert McNaughton, Testing and Generating Infinite Sequences by a Finite Automaton. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-618.

Analytics

Added to PP
2013-11-22

Downloads
10 (#1,194,738)

6 months
3 (#978,111)

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