Residuated frames with applications to decidability
From MaRDI portal
cut eliminationdecidabilityfinite embeddability propertyfinite model propertyGentzen systeminvolutive residuated structuresresiduated frameresiduated latticesubstructural logic
Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Varieties of lattices (06B20) Ordered semigroups and monoids (06F05)
Recommendations
- Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability
- Residuated Kleene algebras
- Residuated Structures in Algebra and Logic
- Distributive residuated frames and generalized bunched implication algebras
- scientific article; zbMATH DE number 3992938
- The residue of vector sets with applications to decidability problems in Petri nets
- On residuated lattices with universal quantifiers
- scientific article; zbMATH DE number 874499
- From semirings to residuated Kleene lattices
Cites work
- A Gentzen system for involutive residuated lattices
- Algebraic aspects of cut elimination
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Canonical extensions and relational completeness of some substructural logics
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Generalized Kripke frames
- Generalized MV-algebras
- scientific article; zbMATH DE number 5289967 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 877297 (Why is no real title available?)
- scientific article; zbMATH DE number 2208113 (Why is no real title available?)
- Interpolation and FEP for logics of residuated algebras
- Logics without the contraction rule
- MacNeille completions of FL-algebras
- On the finite embeddability property for residuated ordered groupoids
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Quantales and (noncommutative) linear logic
- Relative pseudo-complements, join-extensions, and meet-retractions
- Residuated lattices. An algebraic glimpse at substructural logics
- Rule separation and embedding theorems for logics without weakening
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- The finite model property for knotted extensions of propositional linear logic
- The finite model property for various fragments of intuitionistic linear logic
- THE STRUCTURE OF RESIDUATED LATTICES
- Which structural rules admit cut elimination? An algebraic criterion
Cited in
(55)- Tableau method for residuated logic
- Distributive residuated frames and generalized bunched implication algebras
- The FEP for some varieties of fully distributive knotted residuated lattices
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- From cut-free calculi to automated deduction: the case of bounded contraction
- Rule separation and embedding theorems for logics without weakening
- Relation algebras as expanded FL-algebras
- Implicit and explicit stances in logic
- Join-completions of partially ordered algebras
- The completions of multi-posets and quantum B-algebras
- Hyper-MacNeille completions of Heyting algebras
- Densification via polynomials, languages, and frames
- Word problem for knotted residuated lattices.
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
- On square-increasing ordered monoids and idempotent semirings
- On involutive nonassociative Lambek calculus
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
- Complemented MacNeille completions and algebras of fractions
- Densification of FL chains via residuated frames
- Interpolation and FEP for logics of residuated algebras
- Categories of algebraic contexts equivalent to idempotent semirings and domain semirings
- Strong negation in intuitionistic style sequent systems for residuated lattices
- The distributivity on bi-approximation semantics
- Changing a Semantics: Opportunism or Courage?
- Residuated Structures, Concentric Sums and Finiteness Conditions
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Modal tableaux based on residuation
- Involutive nonassociative Lambek calculus: sequent systems and complexity
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
- Splittings in varieties of logic
- Residuated connections induced by residuated frames
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
- MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE
- Modal translation of substructural logics
- The finite embeddability property for noncommutative knotted extensions of \(\mathsf{RL}\).
- Relation algebras, idempotent semirings and generalized bunched implication algebras
- An algebraic glimpse at bunched implications and separation logic
- Finite embeddability property for residuated lattices via regular languages
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Algebraic proof theory for LE-logics
- Decidability of lattice equations
- Unilinear residuated lattices: axiomatization, varieties and FEP
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- A note on Kripke semantics for residuated logic
- On syntactic concept lattice models for the Lambek calculus and infinitary action logic
- Unified inverse correspondence for LE-logics
- Generation and decidability for periodic -pregroups
- Algebraic proof theory: hypersequents and hypercompletions
- The structure of generalized BI-algebras and weakening relation algebras
- The residue of vector sets with applications to decidability problems in Petri nets
- A Gentzen system for involutive residuated lattices
- Integrally closed residuated lattices
- Residuated lattices. An algebraic glimpse at substructural logics
- Completion and finite embeddability property for residuated ordered algebras.
This page was built for publication: Residuated frames with applications to decidability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4913809)
