Robuta

https://plato.stanford.edu/archives/spr2021/entries/logic-substructural/ Substructural Logics (Stanford Encyclopedia of Philosophy/Spring 2021 Edition) encyclopedia of philosophy substructural logics stanford spring https://eapiova.github.io/nuclear/Substructural.Everything.html Substructural.Everything substructural everything https://research.monash.edu/en/projects/substructural-logics-for-limited-resources/ Substructural logics for limited resources - Monash University limited resources substructural logics monash university https://plato.stanford.edu/archives/win2019/entries/logic-substructural/ Substructural Logics (Stanford Encyclopedia of Philosophy/Winter 2019 Edition) encyclopedia of philosophy substructural logics stanford winter https://plato.stanford.edu/archives/sum2024/entries/logic-substructural/ Substructural Logics (Stanford Encyclopedia of Philosophy/Summer 2024 Edition) encyclopedia of philosophy substructural logics stanford summer https://researchportalplus.anu.edu.au/en/publications/machine-checked-interpolation-theorems-for-substructural-logics-u/ Machine-checked interpolation theorems for substructural logics using display calculi - The... machine checked interpolation theorems https://www.ideals.illinois.edu/items/92895 Polarized substructural session types | IDEALS session types polarized substructural ideals https://eprints.illc.uva.nl/id/eprint/1364/ ML-1995-05: Generalized Quantification as Substructural Logic - ILLC Preprints and Publications https://www.illc.uva.nl/Research/Publications/Reports/ML/publication/3360/Generalized-Quantification-as-Substructural-Logic Generalized Quantification as Substructural Logic | Institute for Logic, Language and Computation institute for generalized quantification substructural logic https://www.illc.uva.nl/Research/Publications/Reports/PP/publication/3470/Labelled-Tableau-Calculi-Generating-Simple-Models-for-Substructural-Logics Labelled Tableau Calculi Generating Simple Models for Substructural Logics | Institute for Logic,... labelled tableau calculi generating simple