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.

Minghui Ma
SearchCollections
Map detail
Minghui Ma7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMinghui MaAMinghui MaResearcherResiduated Basic Logic IWResiduated Basic Logic Ipreprint / 2014Residuated Basic Logic II. Interpolation, Decidability and EmbeddingWResiduated Basic Logic ...preprint / 2014Unified Correspondence and Proof Theory for Strict ImplicationWUnified Correspondence ...preprint / 2016Sequent Calculi for Semi-De Morgan and De Morgan AlgebrasWSequent Calculi for Sem...preprint / 2016The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek CalculusWThe Computational Compe...preprint / 2014Unified Correspondence as a Proof-Theoretic ToolWUnified Correspondence ...preprint / 2016
Person6 links

Minghui Ma

Researcher

PaperResiduated Basic Logic IAuthorship / preprint / 2014PaperResiduated Basic Logic II. Interpolation, Decidability and EmbeddingAuthorship / preprint / 2014PaperUnified Correspondence and Proof Theory for Strict ImplicationAuthorship / preprint / 2016PaperSequent Calculi for Semi-De Morgan and De Morgan AlgebrasAuthorship / preprint / 2016PaperThe Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek CalculusAuthorship / preprint / 2014PaperUnified Correspondence as a Proof-Theoretic ToolAuthorship / 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)