A new formal tool: functorial variables representing assertions and presuppositions

Abstract

The language of classical propositional iog-Ic is extended by functorial variables as a new syntactical category. Functorial variables render to be a possible integrating representation of both assertion and presup-position in one and the same logical formula different from such using classical conjunction. O~ Introduction From a computational point of vlew… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics