Reinhard Muskens

Publication Activity (10 Years)

Years Active: 1990-2018
Publications (10 Years): 8

Top Topics

Lambda Calculus

Valued Semantics

Natural Language

Interpolation Methods

Top Venues

J. Philos. Log.

J. Lang. Model.

Publications

Reinhard Muskens, Stefan Wintein
Interpolation in 16-Valued Trilattice Logics. Stud Logica 106 (2) (2018)
Mehrnoosh Sadrzadeh, Reinhard Muskens
Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language. CoRR (2018)
Mehrnoosh Sadrzadeh, Reinhard Muskens
Static and dynamic vector semantics for lambda calculus models of natural language. J. Lang. Model. 6 (2) (2018)
Stefan Wintein, Reinhard Muskens
Interpolation Methods for Dunn Logics and Their Extensions. Stud Logica 105 (6) (2017)
Reinhard Muskens, Mehrnoosh Sadrzadeh
Context Update for Lambdas and Vectors. LACL (2016)
Stefan Wintein, Reinhard Muskens
A Gentzen Calculus for Nothing but the Truth. J. Philos. Log. 45 (4) (2016)
Stefan Wintein, Reinhard Muskens
From Bi-facial Truth to Bi-facial Proofs. Stud Logica 103 (3) (2015)
Reinhard Muskens, Stefan Wintein
. J. Philos. Log. 44 (5) (2015)
Reinhard Muskens
A Theory of Names and True Intensionality. Amsterdam Colloquium on Logic, Language and Meaning (2011)
Reinhard Muskens
New Directions in Type-Theoretic Grammars. J. Log. Lang. Inf. 19 (2) (2010)
Reinhard Muskens
An Analytic Tableau System for Natural Logic. Amsterdam Colloquium on Logic, Language and Meaning (2009)
Reinhard Muskens
Intensional models for the theory of types. J. Symb. Log. 72 (1) (2007)
Reinhard Muskens
Intensional Models for the Theory of Types CoRR (2006)
Reinhard Muskens
Talking about Trees and Truth-Conditions. J. Log. Lang. Inf. 10 (4) (2001)
Reinhard Muskens
On Partial and Paraconsistent Logics. Notre Dame J. Formal Log. 40 (3) (1999)
Reinhard Muskens, Emiel Krahmer
Description theory, LTAGs and underspecified semantics. TAG+ (1998)
Emiel Krahmer, Reinhard Muskens
Negation and Disjunction in Discourse Representation Theory. J. Semant. 12 (4) (1995)
Reinhard Muskens
Categorial Grammar And Discourse Representation Theory. COLING (1994)
Reinhard Muskens
Logical Omniscience and Classical Logic. JELIA (1992)
Reinhard Muskens
Anaphora and the Logic of Change. JELIA (1990)