Christian Retoré

Available identifiers

zbMath Open retore.christianDBLP22/4081WikidataQ57417373 ScholiaQ57417373MaRDI QIDQ433865

List of research outcomes

Publication	Date of Publication	Type
Pomset Logic	2021-12-08	Paper
Pomset logic: the other approach to non commutativity in logic	2020-01-07	Paper
Natural language semantics and computability	2019-06-26	Paper
A complete axiomatisation for the inclusion of series-parallel partial orders	2017-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q5354752	2017-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2969777	2017-03-23	Paper
The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics	2017-03-13	Paper
Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers	2016-06-27	Paper
Classical logic and intuitionistic logic: equivalent formulations in natural deduction, G\"odel-Kolmogorov-Glivenko translation	2016-02-24	Paper
Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\)	2015-02-09	Paper
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases	2014-10-14	Paper
Learning Lambek Grammars from Proof Frames	2014-05-08	Paper
Logique math\'ematique et linguistique formelle	2013-11-08	Paper
Type-theoretical natural language semantics: on the system F for meaning assembly	2013-03-12	Paper
Some proof theoretical remarks on quantification in ordinary language	2013-01-22	Paper
The logic of categorial grammars. A deductive account of natural language syntax and semantics	2012-07-06	Paper
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most	2012-03-08	Paper
Specimens: "most of" generic NPs in a contextually flexible type theory	2011-11-06	Paper
On the system F as a glue language for natural-language compositional-semantics	2011-08-25	Paper
Quantification in ordinary language	2011-07-10	Paper
Categorial Minimalist Grammar	2010-12-13	Paper
A faithful representation of non-associative Lambek grammars in abstract categorial grammars	2010-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q3632309	2009-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q3629666	2009-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q3616726	2009-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q3024915	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4664258	2005-04-05	Paper
Generative grammars in resource logics	2005-03-15	Paper
Handsome proof-nets: Perfect matchings and cographs	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4939014	2000-05-29	Paper
Introduction to the special issue on recent advances in logical and algebraic approaches to grammar	1999-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4222843	1998-12-14	Paper
A semantic characterisation of the correctness of a proof net	1998-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4370232	1998-02-02	Paper
The mix rule	1994-08-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christian Retoré