Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Atwell R. Turquette"'
Autor:
Atwell R. Turquette
Publikováno v:
Studia Logica. 40:373-382
Without introducing quantifiers, minimal axiomatic systems have already been constructed for Peirce's triadic logics. The present paper constructs a dual pair of axiomatic systems which can be used to introduce quantifiers into Peirce's preferred sys
Autor:
Atwell R. Turquette
Publikováno v:
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 22:169-176
Autor:
Atwell R. Turquette
Publikováno v:
Information Sciences. 1:131-142
The concept of a quasi-stroke is defined and developed making use of some of the established methods and results of M-valued logic (M ⩾ 2). Some examples are considered of quasi-strokes for all finite values of M, with special attention given to th
Autor:
Atwell R. Turquette
Publikováno v:
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 12:267-278
Autor:
J. B. Rosser, Atwell R. Turquette
Publikováno v:
Journal of Symbolic Logic. 13:177-192
A calculus, or its formalization, is m-valued when its truth-functions are allowed to take truth-values ranging from 1 through m. It is customary to divide the m truth-values that are possible into those that are “designated” and those that are
Autor:
Atwell R. Turquette
Publikováno v:
Journal of Symbolic Logic. 23:139-148
The basic aim of the present paper is to simplify the axioms for many-valued quantification theory which were developed by Rosser and Turquette in Many-valued logics ([10], pp. 33–34 and pp. 63–64). The simplification which is achieved results no
Autor:
Atwell R. Turquette
Publikováno v:
Journal of Symbolic Logic. 28:217-221
Recent interest in Łukasiewicz' Lℵ0, raises the question whether this axiomatic system can be simplified [2]. It is known that Łukasiewicz' fourth axiom CCCPQCQPCQP is dependent [4] p. 51. The axiomatic system resulting from deleting the fourth a
Autor:
Atwell R. Turquette
Publikováno v:
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 18:261-266
Autor:
Atwell R. Turquette
Publikováno v:
Journal of Symbolic Logic. 23:22-29
Autor:
Atwell R. Turquette
Publikováno v:
Journal of Symbolic Logic. 25:291-293