Skip to content
Log in
Toggle navigation
Datasets
Organizations
Groups
About
Search Datasets
Home
Datasets
Order by
Relevance
Name Ascending
Name Descending
Last Modified
Go
1 dataset found
Tags:
contraction-free
Filter Results
Structural Interactions and Absorption of Structural Rules in BI Sequent Calc...
Development of a contraction-free BI sequent calculus, be it in the sense of G3i or G4i, has not been successful in literature. We address the open problem by...
HTML
You can also access this registry using the
API
(see
API Docs
).
