scientific article; zbMATH DE number 7669405
From MaRDI portal
Publication:5883175
Publication date: 29 March 2023
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
group theorysubstructural logicsresiduationdisplay calculusgaggle theoryaction of groupfree group and free product
Applications of logic to group theory (20A15) Other nonclassical logic (03B60) Free nonabelian groups (20E05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) General theory for finite permutation groups (20B05)
Related Items (1)
This page was built for publication: