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:
Bibliographic Details
Main Authors: Duží, Marie (Author), Jespersen, Bjorn (Author), Materna, Pavel (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Logic, Epistemology, and the Unity of Science, 17
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.