Results 131 to 140 of about 2,597 (173)
Substructural logics with mingle
リサーチレポート(北陸先端科学技術大学院大学情報科学研究科) 本文は図書館に配架されています。 / This material is stored in the JAIST library.
openaire
A General Framework for Hybrid Substructural Categorial Logics
Mark Hepple
openalex +1 more source
Variable Sharing in Substructural Logics: an Algebraic Characterization
Guillermo Badía
openalex +2 more sources
Digital Systems Model Order Reduction with Substructure Preservation and Fuzzy Logic Control
Othman ALSMADI +2 more
openalex +2 more sources
Classical Core Logic, Relevance, and Substructurality
Pierre Saint‐Germier, Peter Verdée
openalex +1 more source
A Study on Substructural Logics with Restricted Exchange Rules, (2)
Ryo Kashima, Norihiro Kamide
openalex +1 more source
Substructural Logic for Orientable and Non-Orientable Surfaces
Christophe Fouqueré +2 more
openalex +1 more source

