3rd Workshop on Generalizations of Truth‑Functionality Dates: Sep 1-3, 2015
This will be the third workshop of the GeTFun project, on generalizations of truth-functionality, investigated from the viewpoints of Universal Logic, Proof Theory and Formal Semantics. We are looking for advances which are at once philosophically well-motivated, mathematically well-developed, and computationally well-behaved.
Submissions should consist of an abstract of up to 1,000 words, sent by email before Keynote speakers, this year, include:
For more information on GeTFun 3.0, please follow this link.
|