| http://www.w3.org/ns/prov#value | - The Logic and Language grouping has faculty members interested in such issues as Godel's results, theories of truth deflationism, semantic paradoxes, the applicability of mathematics, proof theory, theoretical syntax, pragmatics, proof theory, and non-classical logic.
|
