The following pages link to (Q4940727):
Displaying 13 items.
- Non-commutative logical algebras and algebraic quantales (Q386648) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- Conserving involution in residuated structures (Q5434203) (← links)
- A dual equivalence for cofinal quantum B-algebras (Q6087890) (← links)
