Referenzsemantik in der Partnermodellierung

How can we explain that an assertion on something perceived can be understood in the same manner by somebody who cannot perceive that scene? This problem bases the interest in computational linguistics in how listener modeling could possibly be harmonized with reference semantics. Mental images substituting real perception appear as a way out. The architecture of the listener model has to be adapted to the creation and use of such pictorial data structures. Furthermore, the relation between the latter and a verbal (i. e., propositional) representation must be understood. The resulting architecture of a listener model with reference semantics can be employed to solve communicational problems from three general classes in a better way, as is demonstrated by an example implementation.     

Maximal weakly-intuitionistic logics

This article introduces the three-valuedweakly-intuitionistic logicI ¹ as a counterpart of theparaconsistent calculusP ¹ studied in [11].I ¹ is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI ¹ collapses to classical logic.The second part shows thatI ¹ is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP ¹ given in [8].In the last part of the paper we suggest the definition of certain hierarchies of finite-valued propositional paraconsistent and weakly-intuitionistic calculi, and comment on their intrinsic interest.