This paper properly extends the negationless logics of Nelson's XXXIII129 by introducing'a
general connective to replace Nelson's connectives 2, 3, and V. The general connective is of …

AA ZINO V'E v. Ob odnom sposobi obzorafunkci] istinnosti n-znacnogo isdislenid vyskazyvanij
(A method of describing the truth-functions of the n-valued propositional calculus). …

… article On the strength of Ramsey’s Theorem, Notre Dame Journal of Formal Logic, vol.
36 … Then Mitchell in Adding closed unbounded subsets of 2 with finite forcing, Notre Dame …

… Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. … In the present paper, the author
considers some axiom systems for three-valued logic based on Lukasiewicz's negation N and …

… 26-36. This paper deals with a semantic proof of the fixed-point theorem for provability
logic and of other properties of that logic, such as Craig's interpolation and Beth's explicit …

Institute of Electrical Engineers, New York 1961, pp. 133-151. In XXm 59 Kleene showed how
to construct a net to represent any event given by a regular expression, and showed how …

… Characters and fixed points in provability logic. Ibid., pp. 26-36. This paper deals with a
semantic proof of the fixed-point theorem for provability logic and of other properties of that logic, …

In this paper, theorems of McKinsey (II58) giving conditions under which Boolean functions
of n variables are increasing, decreasing, or constant, are generalized to the case of a class …

… Major problems and branches of logic. Gödel’s logic course at the University of Notre Dame
was elementary, and he was initially somewhat skeptical about his competence to give such …

AA ZINO V'E v. Ob odnom sposobi obzorafunkci] istinnosti n-znacnogo isdislenid vyskazyvanij
(A method of describing the truth-functions of the n-valued propositional calculus). …