Two kinds of procedural semantics for privative modification

Authors:
Giuseppe Primiero;Bjørn Jespersen
Affiliations:
Centre for Logic and Philosophy of Science, Ghent University, Belgium;Department of Computer Science, Technical University of Ostrava, Institute of Philosophy, Department of Logic, Czech Academy of Sciences, Prague, Czech Republic
Venue:
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Year:
2009

Citing 5
Cited 2

Programming in Martin-Lo¨f's type theory: an introduction

Programming in Martin-Lo¨f's type theory: an introduction
Type-theoretical grammar

Type-theoretical grammar
Martin-Löf's type theory

Handbook of logic in computer science
Mathematics of infinity

COLOG '88 Proceedings of the International Conference on Computer Logic
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic

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

A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions

Studia Logica
Alleged assassins: realist and constructivist semantics for modal modification

TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present two kinds of procedural semantics for privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of procedural semantics; the second is to extend Martin-Löf's Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.