The following pages link to (Q5311045):
Displaying 15 items.
- 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)
- MacNeille completions of FL-algebras (Q652517) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- Completeness for monadic fuzzy logics via functional algebras (Q2035346) (← links)
- On square-increasing ordered monoids and idempotent semirings (Q2362745) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- On complete representations of algebras of logic (Q3636789) (← links)
- (Q4862884) (← links)
- Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes (Q5019118) (← links)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics (Q6597128) (← links)
