scientific article; zbMATH DE number 7594249
From MaRDI portal
Publication:5869717
Publication date: 28 September 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
group theorysubstructural logicsresiduationdisplay calculusgaggle theoryaction of groupfree group and free product
Related Items (2)
Syntactic Completeness of Proper Display Calculi ⋮ On the universality of atomic and molecular logics via protologics
This page was built for publication: