• Netherlands

  • Warandelaan 2, Dante Building, room D 245

    5037 AB Tilburg

    Netherlands

1989 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1989 2019

Filter
Article
2019

Static and dynamic vector semantics for lambda calculus models of natural language

Sadrzadeh, M. & Muskens, R., 2019, In : Journal of Language Modelling. 6, 2, p. 319-351 33 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
Lambda Calculus
Natural Language
Language
Denotation
Possible Worlds
2017
1 Downloads (Pure)

Interpolation in 16-Valued Trilattice Logics

Muskens, R. & Wintein, S., 2017, In : Studia Logica. p. 1-26

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
Interpolate
Logic
Calculus
Intersection
Tableau
1 Downloads (Pure)

Interpolation Methods for Dunn Logics and Their Extensions

Wintein, S. & Muskens, R., 2017, In : Studia Logica. 105, 6, p. 1319–1347

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
Interpolation Method
Logic
Tableau
Interpolate
Interpolation
2015

A Gentzen Calculus for Nothing but the Truth

Wintein, S. & Muskens, R., 2015, In : Journal of philosophical logic. p. 1-15 15 p.

Research output: Contribution to journalArticleScientificpeer-review

Gentzen
Calculi
Logic
Belnap
Language
2014

Analytic Tableaux for all of SIXTEEN_3

Muskens, R. A. & Wintein, S., 2014, In : Journal of philosophical logic. p. 1-15 16 p.

Research output: Contribution to journalArticleScientificpeer-review

Tableaux
Tableau
Calculi
Entailment
Logic

From Bi-facial Truth to Bi-facial Proofs

Wintein, S. & Muskens, R. A., 2014, In : Studia Logica. p. 1-14 14 p.

Research output: Contribution to journalArticleScientificpeer-review

Logic
Classical Logic
Valid
Tableau
Tableaux
2012

A calculus for Belnap's logic in which each proof consists of two trees

Wintein, S. & Muskens, R. A., 2012, In : Logique et Analyse. 220, p. 643-656 14 p.

Research output: Contribution to journalArticleScientificpeer-review

2011
60 Downloads (Pure)

A squib on anaphora and coindexing

Muskens, R. A., 2011, In : Linguistics and philosophy. 34, p. 85-89 5 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
2010
83 Downloads (Pure)

New directions in type-theoretic grammars

Muskens, R. A., 2010, In : Journal of logic, language and information. 19, 2, p. 129-136 8 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
2007
65 Downloads (Pure)

Intensional models for the theory of types

Muskens, R. A., 2007, In : The journal of symbolic logic. 72, 1, p. 98-118 21 p.

Research output: Contribution to journalArticleScientificpeer-review

File
42 Downloads (Pure)

Separating syntax and combinatorics in categorial grammar

Muskens, R. A., 2007, In : Research on Language and Computation. 5, 3, p. 267-285 17 p.

Research output: Contribution to journalArticleScientificpeer-review

File
2005
88 Downloads (Pure)

Sense and the Computation of Reference

Muskens, R. A., 2005, In : Linguistics and philosophy. 28, 4, p. 473-504 31 p.

Research output: Contribution to journalArticleScientificpeer-review

File
formalization
Values
Referent
Possible Worlds
Dictum
2001
40 Downloads (Pure)

Talking about trees and truth-conditions

Muskens, R. A., 2001, In : Journal of logic, language and information. 10, 4, p. 417-455 39 p.

Research output: Contribution to journalArticleScientificpeer-review

File
grammar
Semantics
semantics
syntax
language
1999
48 Downloads (Pure)

On partial and paraconsistent logics

Muskens, R. A., 1999, In : Notre Dame journal of formal logic. 40, 3, p. 352-374 23 p.

Research output: Contribution to journalArticleScientificpeer-review

File
1996
138 Downloads (Pure)

Combining Montague semantics and discourse representation

Muskens, R. A., 1996, In : Linguistics and philosophy. 19, 2, p. 143-186 44 p.

Research output: Contribution to journalArticleScientificpeer-review

File
1995
66 Downloads (Pure)

Negation and disjunction in discourse representation theory

Krahmer, E. J. & Muskens, R. A., 1995, In : Journal of semantics. 12, 4, p. 357-276 20 p.

Research output: Contribution to journalArticleProfessional

File
1991
44 Downloads (Pure)

Hyperfine-grained meanings in classical logic

Muskens, R. A., 1991, In : Logique et Analyse. 34, 133/134, p. 159-176 18 p.

Research output: Contribution to journalArticleProfessional

File
1989
42 Downloads (Pure)

A relational formulation of the theory of types

Muskens, R. A., 1989, In : Linguistics and philosophy. 12, 3, p. 325-346 22 p.

Research output: Contribution to journalArticleProfessional

File