Residuated frames with applications to decidability
From MaRDI portal
Publication:4913809
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
(49)- 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
- 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
- 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
- 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)
