Atwell R. Turquette. Independent axioms for infinite-valued logic. The journal of symbolic logic, vol. 28 no. 3 , pp. 217–221

Journal of Symbolic Logic 31 (4):665 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1997

DOI

10.2307/2269737

Links

PhilArchive



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

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

Independent axioms for infinite-valued logic.Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (3):217-221.
Simplified axioms for many-valued quantification theory.Atwell R. Turquette - 1958 - Journal of Symbolic Logic 23 (2):139-148.
Dreben Burton. Relation of m-valued quantificational logic to 2-valued quantificational logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 303–304. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (3):375-376.
Review: Burton Dreben, Relation of m-Valued Quantificational Logic to 2-Valued Quantificational Logic. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (3):375-376.
Foxley Eric. The determination of all Sheffer functions in 3-valued logic, using a logical computer. Notre Dame journal of formal logic, vol. 3 , pp. 41–50. [REVIEW]Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (2):174-174.
Many-Valued Logics and Systems of Strict Implication.Atwell R. Turquette - 1957 - Journal of Symbolic Logic 22 (3):328-328.
Butler Jean W.. On complete and independent sets of truth functions in multi-valued logics. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 78–80.Butler Jean W.. On complete and independent sets of operations in finite algebras. Pacific journal of mathematics, vol. 10 , pp. 1169–1179. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (2):246-246.
Review: Storrs McCall, R. K. Meyer, Pure Three-Valued Lukasiewiczian Implication. [REVIEW]Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (1):133-134.
A. N. Prior. Many-valued and modal systems: An intuitive approach. The philosophical review, vol, 64 , pp. 626–630. [REVIEW]Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (3):328-328.
Review: Alan Rose, J. Barkley Rosser, Fragments of Many-valued Statement Calculi. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
A. N. Prior. Many-valued and modal systems: An intuitive approach. The philosophical review, vol, 64 , pp. 626–630. [REVIEW]Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (3):328-328.
Review: Jean W. Butler, On Complete and Independent Sets of Truth Functions in Multi-Valued Logics; Jean W. Butler, On Complete and Independent Sets of Operations in Finite Algebras. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (2):246-246.
Review: Arto Salomaa, On Many-Valued Systems of Logic; Arto Salomaa, On the Composition of Functions of Several Variables Ranging over a Finite Set. [REVIEW]Atwell R. Turquette - 1960 - Journal of Symbolic Logic 25 (3):291-293.
Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Mathematical Logic Quarterly 24 (25‐30):443-444.
Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Mathematical Logic Quarterly 22 (1):169-176.

Analytics

Added to PP
2014-03-30

Downloads
28 (#565,512)

6 months
7 (#419,635)

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