Results 1 to 10 of about 884 (194)
Semilinear non-associative substructural logics: completeness properties and complexity.
, 2013 Petr Cintula +3 more
openalex +1 more source
${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ Are Substructural Fuzzy Logics
, 2018 SanMin Wang
openalex +2 more sources
On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics [PDF]
, 2009 Takeshi Ueno +2 more
openalex +1 more source
A substructural epistemic resource logic: theory and modelling applications [PDF]
, 2019 Didier Galmiche +2 more
openalex +1 more source
Non-associative substructural logics: alternative axiomatization, algebraic and logical properties
, 2012 C. (Carles) Noguera +3 more
openalex +1 more source
Formalized Meta-Theory of Sequent Calculi for Substructural Logics
, 2017 Kaustuv Chaudhuri +2 more
openalex +1 more source
Digital Systems Model Order Reduction with Substructure Preservation and Fuzzy Logic Control
Othman ALSMADI +2 more
openalex +2 more sources