Proof-theoretic semantics for a natural language fragment

Authors:
Nissim Francez;Roy Dyckhoff
Affiliations:
Computer Science Dept.,Technion-IIT, Haifa, Israel;School of Computer Science, University of St Andrews, Scotland, UK
Venue:
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
Year:
2007

Citing 2
Cited 4

A judgmental reconstruction of modal logic

Mathematical Structures in Computer Science
Syllogistic Logics with Verbs

Journal of Logic and Computation

Logics for two fragments beyond the syllogistic boundary

Fields of logic and computation
Contextual analysis of word meanings in type-theoretical semantics

LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Toward the formulation of presupposition by illative combinatory logic

LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions

Studia Logica

Quantified Score

Hi-index	0.00

Visualization

Abstract