Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic /

• Κύριοι συγγραφείς: Duží, Marie (Συγγραφέας), Jespersen, Bjorn (Συγγραφέας), Materna, Pavel (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
• Σειρά: Logic, Epistemology, and the Unity of Science ; 17
• Θέματα: Philosophy.; Logic.; Ontology.; Language and languages > Philosophy.; Coding theory.; Semantics.; Philosophy, general.; Coding and Information Theory.; Philosophy of Language.

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...