Pages that link to "Item:Q4913809"
From MaRDI portal
The following pages link to Residuated frames with applications to decidability (Q4913809):
Displaying 38 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- The distributivity on bi-approximation semantics (Q306839) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- The structure of generalized BI-algebras and weakening relation algebras (Q776989) (← links)
- Integrally closed residuated lattices (Q831226) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
- The FEP for some varieties of fully distributive knotted residuated lattices (Q1686329) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- From cut-free calculi to automated deduction: the case of bounded contraction (Q1744444) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Implicit and explicit stances in logic (Q2000675) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- The completions of multi-posets and quantum B-algebras (Q2041251) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Densification via polynomials, languages, and frames (Q2229970) (← links)
- Word problem for knotted residuated lattices. (Q2254319) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- On square-increasing ordered monoids and idempotent semirings (Q2362745) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices (Q2447247) (← links)
- Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
- Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings (Q2915144) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (Q4608556) (← links)
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity (Q4999464) (← links)
- Splittings in varieties of logic (Q5002194) (← links)
- (Q5027056) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
- MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE (Q5100054) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- The finite embeddability property for noncommutative knotted extensions of RL (Q5252302) (← links)
- Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras (Q5283208) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)
- Finite embeddability property for residuated lattices via regular languages (Q6201545) (← links)