Christian Retoré

Available identifiers

zbMath Open retore.christianDBLP22/4081WikidataQ57417373 ScholiaQ57417373MaRDI QIDQ433865

List of research outcomes

Publication	Date of Publication	Type
Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces	2025-01-06	Paper
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

This page was built for person: Christian Retoré