Residuated frames with applications to decidability
From MaRDI portal
substructural logicdecidabilitycut eliminationresiduated latticeGentzen systemfinite model propertyresiduated framefinite embeddability propertyinvolutive residuated structures
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Varieties of lattices (06B20)
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
- 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?)
- 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
- 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 STRUCTURE OF RESIDUATED LATTICES
- 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
- Which structural rules admit cut elimination? An algebraic criterion
Cited in
(52)- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
- Integrally closed residuated lattices
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
- Decidability of lattice equations
- Unilinear residuated lattices: axiomatization, varieties and FEP
- Strong negation in intuitionistic style sequent systems for residuated lattices
- Densification of FL chains via residuated frames
- MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Interpolation and FEP for logics of residuated algebras
- Implicit and explicit stances in logic
- Join-completions of partially ordered algebras
- Splittings in varieties of logic
- From cut-free calculi to automated deduction: the case of bounded contraction
- Algebraic proof theory: hypersequents and hypercompletions
- Residuated lattices. An algebraic glimpse at substructural logics
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Generation and decidability for periodic -pregroups
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- The distributivity on bi-approximation semantics
- On square-increasing ordered monoids and idempotent semirings
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
- Residuated Structures, Concentric Sums and Finiteness Conditions
- The completions of multi-posets and quantum B-algebras
- Densification via polynomials, languages, and frames
- On syntactic concept lattice models for the Lambek calculus and infinitary action logic
- Modal translation of substructural logics
- Relation algebras as expanded FL-algebras
- An algebraic glimpse at bunched implications and separation logic
- Finite embeddability property for residuated lattices via regular languages
- Unified inverse correspondence for LE-logics
- Completion and finite embeddability property for residuated ordered algebras.
- Hyper-MacNeille completions of Heyting algebras
- Categories of algebraic contexts equivalent to idempotent semirings and domain semirings
- The structure of generalized BI-algebras and weakening relation algebras
- The FEP for some varieties of fully distributive knotted residuated lattices
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- Algebraic proof theory for LE-logics
- The finite embeddability property for noncommutative knotted extensions of \(\mathsf{RL}\).
- Involutive nonassociative Lambek calculus: sequent systems and complexity
- Complemented MacNeille completions and algebras of fractions
- The residue of vector sets with applications to decidability problems in Petri nets
- Distributive residuated frames and generalized bunched implication algebras
- Word problem for knotted residuated lattices.
- Rule separation and embedding theorems for logics without weakening
- Relation algebras, idempotent semirings and generalized bunched implication algebras
- Cut elimination and strong separation for substructural logics: an algebraic approach
- A Gentzen system for involutive residuated lattices
- Changing a Semantics: Opportunism or Courage?
- Residuated connections induced by residuated frames
- On involutive nonassociative Lambek calculus
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)
