Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Linear Sequent Calculus and Polarity

Development of focused linear logic sequent calculi with polarity annotations for efficient proof search and semantics.