Sorry, we do not have enough data to show an influence graph for this author.
- Full text PDF available (1)
Journals and Conferences
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… (More)