Involutions defined by monadic terms

We prove that there are two involutions defined by monadic terms that characterize Monadic Algebras. We further prove that the variety of Monadic Algebras is the smallest variety of Interior Algebras where these involutions give rise to an interpretation from the variety of Bounded Distributive Lattices into it.Research funded by Fondecyt, project N 764-1987.     

Pseudo-Boolean valued prolog

A generalization of conventional Horn clause logic programming is proposed in which the space of truth values is a pseudo-Boolean or Heyting algebra, whose members may be thought of as evidences for propositions. A minimal model and an operational semantics is presented, and their equivalence is proved, thus generalizing the classic work of Van Emden and Kowalski.Research supported by PSC-CUNY Grants 666396, 667295 and NSF Grant CCR-8702307.     

Arithmetic based on the Church numerals in illative combinatory logic

In the early thirties, Church developed predicate calculus within a system based on lambda calculus. Rosser and Kleene developed Arithmetic within this system, but using a Godelization technique showed the system to be inconsistent.Alternative systems to that of Church have been developed, but so far more complex definitions of the natural numbers have had to be used. The present paper based on a system of illative combinatory logic developed previously by the author, does allow the use of the Church numerals. Given a new definition of equality all the Peano-type axioms of Mendelson except one can be derived. A rather weak extra axiom allows the proof of the remaining Peano axiom. Note. The illative combinatory logic used in this paper is similar to the logic employed in computer languages such as ML.The author wishes to thank Dr. Roger Hindley for proofreading this paper and for making some useful suggestions. This paper was presented at the 1986 Annual Conference of the Australasian Association of Logic in Auckland, 9–12 July, 1986.     

A representation theorem for languages with generalized quantifiers through back-and-forth methods

We obtain in this paper a representation of the formulae of extensions ofL by generalized quantifiers through functors between categories of first-order structures and partial isomorphisms. The main tool in the proofs is the back-and-forth technique. As a corollary we obtain the Caicedo's version of Fraïssés theorem characterizing elementary equivalence for such languages. We also discuss informally some geometrical interpretations of our results.     

Fuzziness of concepts and concepts of fuzziness

It has been a vexing question in recent years whether concepts are fuzzy. In this paper several views on the fuzziness of concepts are pointed out to have stemmed from dubious concepts of fuzziness. The underlying notions of the roles feasibly played byprototype, set, andprobability in modeling concepts strongly suggest that the controversy originates from a vague relation between intuitive and mathematical ideas in the cognitive sciences. It is argued that the application of fuzzy sets cannot resolve this vagueness since they are one sided,viz., defined on sets. An alternative definition based on classes (in the sense of axiomatic set theory) is proposed.     

Perceptions of speakers with minimal eye contact: Implications for stutterers

One hundred and thirty-three college students responded to percentage definitions of “good,” “minimal,” and “no” eye contact. They also judged their perceptions of a speaker with “little or no eye contact” on a semantic differential scale containing 60 polarized adjective pairs regarding personality traits. The majority of the student respondents defined an individual with “good” eye contact as looking at his/her audience/listener 90–100% of the time. This is a more stringent definition than other literature has indicated. Furthermore, speakers with little or no eye contact were judged less favorably on 70% of the items, which indicates that low eye contact adversely affects perceptions of a speaker's personality. Therefore, stutterers need to be made aware of the importance of and determinants of effective eye contact in communication. Also, the development of effective eye contact needs to be incorporated as a major goal in stuttering therapy.