Year: 1988
Type: conference-paper
Abstract: The language of classical propositional logic is extended by functorial variables as a new syntactical category. Functorial variables render to be a possible integrating representation of both assertion and presupposition in one and the same logical formula different from such using classical conjunction.
Author: Ingolf Max
Institution: Martin Luther University Halle-Wittenberg
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W1986466188