**Home | Articles | Search | About | Other Works |**

**Photos** | **Videos** | ** What's New **

## Language and Logic

1980 —Procedural semantics

1980 —Entries in Handbuch wissenschaftstheoretischer Begriffe

1981 —Direct inference in English

1981 —CAI course in axiomatic set theory

1981 —CAI course in logic

1982 —Variable-free semantics with remarks on procedural extensions

1983 —Language learning in the limit

1984 —The next generation of interactive theorem provers

1984 —A puzzle about responses and congruence of meaning

1984 —Student use of an interactive theorem prover

1986 —The primacy of utterer's meaning

1986 —Congruency theory of propositions

1988 —Philosophical implications of Tarski's work

1988 —Context-fixing semantics for the language of action

1989 —Geometrical semantics for spatial prepositions

1989 —Commemorative Meeting for Alfred Tarski, Stanford University, November 7, 1983

1989 —An interactive calculus theorem-prover for continuity properties

© CSLI 2002-2006