Two kinds of procedural semantics for privative modification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6284 LNAI, Issue , 2010, Pages 252-271

  Primiero, Giuseppe ^a   Jespersen, Bjørn ^b,c  

^a GHENT UNIVERSITY   (Belgium)

^b VSB TECHNICAL UNIVERSITY OF OSTRAVA   (Czech Republic)

^c INSTITUTE OF PHILOSOPHY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRUCTIVE TYPE THEORY; NATURAL LANGUAGES; PROCEDURAL SEMANTICS; TEST CASE;

ARTIFICIAL INTELLIGENCE;

SEMANTICS;

EID: 78649829333     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14888-0_21     Document Type: Conference Paper

References (25)

1. Duží, M., Jespersen, B., Materna, P.: Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Logic, Epistemology and the Unity of Science, vol.17. Springer, Berlin (2010)
2. Jackendoff, R.: Semantic Structures. MIT Press, Cambridge (1990)
3. Jespersen, B.: Significant sententialism in Transparent Intensional Logic and Martin-Löf's Type Theory. In: Childers, T., Majer, O. (eds.) The Logica Yearbook 2002, pp. 117-131 (2003)
4. Jespersen, B.: Explicit intensionalization, anti-actualism, and how Smith's murderer might not have murdered Smith. Dialectica 59, 285-314 (2005)
5. Jespersen, B.: Predication and extensionalization. Journal of Philosophical Logic 37, 479-499 (2008)
6. Jespersen, B.: Property modification and the rule of pseudo-detachment (in submission)
7. Jespersen, B., Carrara, M.: Two conceptions of technical malfunction (in submission)
8. Jespersen, B.: How hyper are hyperpropositions? Language and Linguistics Compass 4, 96-106 (2010)
9. Jespersen, B., Duží, M., Materna, P.: The logos of semantic structure. In: Stalmaszczyk, P. (ed.) Philosophy of Language and Linguistics. The Formal Turn, vol. I, pp. 85-101. Ontos-Verlag, Farnkfurt (2010)
10. Martin-Löf, P.: Constructive mathematics and computer programming. In: Cohen, J.J., et al. (eds.) Sixth International Congress for Logic, Methodology and Philosophy of Science, pp. 153-175. North-Holland, Amsterdam (1982)
11. Martin-Löf, P.: Intuitionistic Type Theory. Bibliopolis, Naples (1984)
12. Martin-Löf, P.: Mathematics of infinity. In: Martin-Löf, P., Mints, G. (eds.) COLOG 1988. LNCS, vol. 417, pp. 146-197. Springer, Heidelberg (1990)
13. Montague, R.: English as a formal language. In: Visentini, B., et al. (eds.) Linguaggi nella societá e nella tecnica, Milan, pp. 189-224 (1970);
14. Reprinted in R.H. Thomasson (ed.). Formal Philosophy. Yale University Press, London (1974)
15. Nordström, B., Petersson, K., Smith, J.: Programming in Martin-Löf's Type Theory. Oxford University Press, Oxford (1990)
16. Nordström, B., Petersson, K., Smith, J.: Martin-Löf's Type Theory. In: Abramsky, S., Gabbay, D., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, pp. 1-38. Oxford University Press, Oxford (2000)
17. Primiero, G.: The determination of reference in a constructive setting. Giornale di Metafisica 26, 483-502 (2004)
18. Primiero, G.: Information and Knowledge. A Constructive Type-Theoretical Approach. Logic Epistemology and the Unity of Science, vol.10. Springer, Berlin (2008)
19. Primiero, G.: Proceeding in abstraction. From concepts to types and the recent perspective on information. History and Philosophy of Logic 30, 257-282 (2009)
20. Primiero, G.: Epistemic modalities. In: Primiero, G., Rahman, S. (eds.) Acts of Knowledge: History, Philosophy and Logic, pp. 207-231. College Publications, London (2009)
21. Primiero, G.: Constructive contextual modal judgements for reasoning from open assumptions. In: Proceddings of the Computability in Europe Conference (to appear, 2010)
22. Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1990)
23. Salvesen, A., Smith, J.: The strength of the subset type in Martin-Löf's Type Theory. In: Proceedings of LICS 1988. IEEE, Edinburgh (1988)
24. Tichý, P.: The Foundations of Frege's Logic. De Gruyter, Berlin (1988)
25. Tichý, P.: Collected Papers in Logic and Philosophy. In: Svoboda, V., Jespersen, B., Cheyne, C. (eds.) Filosofia, Czech Academy of Sciences, Prague. University of Otago Press, Dunedin (2004)