Paper: A New Formal Tool: Functorial Variables Representing Assertions And Presuppositions

ACL ID C88-1083
Title A New Formal Tool: Functorial Variables Representing Assertions And Presuppositions
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1988
Authors
  • Ingolf Max (University of Halle-Wittenberg, Halle Germany; Academy of Sciences of the DDR, Berlin Germany)

The language of classical propositional iog- Ic is extended by functorial variables as a new syntactical category. Functorial vari- ables 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 conjunc- tion.