Results 121 to 130 of about 2,597 (173)
Heating conversion of indole-3-carbinol into N-substituted oligomers with anti-melanoma effect. [PDF]
Qian JC, Zhang HP, Wang Y, Liu D.
europepmc +1 more source
Projectivity and unification in substructural logics of generalized rotations
Paolo Aglianò, Sara Ugolini
openalex +1 more source
Constructive logic with strong negation as a substructural logic
Manuela Busaniche, Roberto Cignoli
openalex +1 more source
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics
A. R. Balasubramanian +2 more
openalex +2 more sources
A survey of proof nets and matrices for substructural logics [PDF]
Sean A. Fulop
openalex +1 more source
Formalized Meta-Theory of Sequent Calculi for Substructural Logics
Kaustuv Chaudhuri +2 more
openalex +1 more source
A Canonical Model Construction for Substructural Logics
Hajime Ishihara
openalex +2 more sources

