Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic / by Marie Duží, Bjorn Jespersen, Pavel Materna.
July 2011 -- The Council of the Academy of Sciences of the Czech Republic has presented Procedural Semantics for Hyperintensional Logic with its prestigious award for outstanding results of major scientific importance. This volume sets out the foundations of Transparent Intensional Logic, together w...
Full description
Saved in: