Pages that link to "Item:Q2433102"

The following pages link to Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102):

Displaying 34 items.

• Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
• Topological proofs of some Rasiowa-Sikorski lemmas (Q454394) (← links)
• Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
• Disjunction property and complexity of substructural logics (Q549720) (← links)
• Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
• Contextual deduction theorems (Q647412) (← links)
• MacNeille completions of FL-algebras (Q652517) (← links)
• Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
• Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
• Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
• Ł\(\Pi\) logic with fixed points (Q953281) (← links)
• Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
• A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
• Poset products as relational models (Q2115284) (← links)
• Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
• Fuzzy logics from substructural perspective (Q2270232) (← links)
• Proper semantics for substructural logics, from a stalker theoretic point of view (Q2426733) (← links)
• The Beth property in algebraic logic (Q2433094) (← links)
• On varieties of biresiduation algebras (Q2433109) (← links)
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
• Some modal and temporal translations of generalized basic logic (Q2695352) (← links)
• Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
• Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590) (← links)
• Craig Interpolation in Displayable Logics (Q3010362) (← links)
• Interpolation via translations (Q3184216) (← links)
• Equivalence of consequence relations: an order-theoretic and categorical perspective (Q3399178) (← links)
• Glivenko theorems for substructural logics over FL (Q3416119) (← links)
• Representable idempotent commutative residuated lattices (Q3443137) (← links)
• Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
• Residuated frames with applications to decidability (Q4913809) (← links)
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
• Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
• 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
• Towards an algorithmic construction of cut-elimination procedures (Q5458060) (← links)