BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Richard Moot
SearchCollections
Map detail
Richard Moot13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRichard MootARichard MootResearcherLogical foundations for hybrid type-logical grammarsWLogical foundations for...preprint / 2020Partial Orders, Residuation, and First-Order Linear LogicWPartial Orders, Residua...preprint / 2020Extended Lambek calculi and first-order linear logicWExtended Lambek calculi...preprint / 2013Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda GrammarsWHybrid Type-Logical Gra...preprint / 2014Comparing and evaluating extended Lambek calculiWComparing and evaluatin...preprint / 2015Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translationWClassical logic and int...preprint / 2016Natural Language Semantics and ComputabilityWNatural Language Semant...preprint / 2016Proof nets for the Displacement calculusWProof nets for the Disp...preprint / 2016The Grail theorem prover: Type theory for syntax and semanticsWThe Grail theorem prove...preprint / 2016Logical Semantics, Dialogical Argumentation, and Textual EntailmentWLogical Semantics, Dial...preprint / 2020Proof nets for the Lambek-Grishin calculusWProof nets for the Lamb...preprint / 2011Plurals: individuals and sets in a richly typed semanticsWPlurals: individuals an...preprint / 2014
Person12 links

Richard Moot

Researcher

PaperLogical foundations for hybrid type-logical grammarsAuthorship / preprint / 2020PaperPartial Orders, Residuation, and First-Order Linear LogicAuthorship / preprint / 2020PaperExtended Lambek calculi and first-order linear logicAuthorship / preprint / 2013PaperHybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda GrammarsAuthorship / preprint / 2014PaperComparing and evaluating extended Lambek calculiAuthorship / preprint / 2015PaperClassical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translationAuthorship / preprint / 2016PaperNatural Language Semantics and ComputabilityAuthorship / preprint / 2016PaperProof nets for the Displacement calculusAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)