Pages that link to "Item:Q636346"

The following pages link to Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346):

Displaying 23 items.

• The atomic theory of left division of two-sided ideals of semirings with unit (Q376154) (← links)
• Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
• Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← links)
• Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
• Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
• Involutive basic substructural core fuzzy logics: involutive mianorm-based logics (Q1697513) (← links)
• The completions of multi-posets and quantum B-algebras (Q2041251) (← links)
• Residuated structures and orthomodular lattices (Q2062191) (← links)
• Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
• Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
• Prelinear algebras in relatively regular quasivarieties (Q2376911) (← links)
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
• Residuated expansions of lattice-ordered structures (Q2658277) (← links)
• Residuated frames with applications to decidability (Q4913809) (← links)
• One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity (Q4999464) (← links)
• Extensions of Lambek Calculi (Q5014595) (← links)
• (Q5084205) (← links)
• Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
• Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
• NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233) (← links)
• The Monotone Lambek Calculus Is NP-Complete (Q5414974) (← links)
• UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS (Q5501771) (← links)
• A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)