Residuated frames with applications to decidability
From MaRDI portal
Publication:4913809
DOI10.1090/S0002-9947-2012-05573-5zbMATH Open1285.03077MaRDI QIDQ4913809FDOQ4913809
Authors: Nikolaos Galatos, Peter Jipsen 
Publication date: 16 April 2013
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
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
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- MacNeille completions of FL-algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Generalized MV-algebras
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- THE STRUCTURE OF RESIDUATED LATTICES
- Quantales and (noncommutative) linear logic
- The finite model property for various fragments of intuitionistic linear logic
- Title not available (Why is that?)
- Canonical extensions and relational completeness of some substructural logics
- Generalized Kripke frames
- Interpolation and FEP for logics of residuated algebras
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- On the finite embeddability property for residuated ordered groupoids
- Algebraic aspects of cut elimination
- Logics without the contraction rule
- Which structural rules admit cut elimination? An algebraic criterion
- Relative pseudo-complements, join-extensions, and meet-retractions
- Rule separation and embedding theorems for logics without weakening
- The finite model property for knotted extensions of propositional linear logic
- A Gentzen system for involutive residuated lattices
- Title not available (Why is that?)
Cited In (49)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
- Decidability of lattice equations
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
- Integrally closed residuated lattices
- Unilinear residuated lattices: axiomatization, varieties and FEP
- Strong negation in intuitionistic style sequent systems for residuated lattices
- MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE
- Densification of FL chains via residuated frames
- Interpolation and FEP for logics of residuated algebras
- Implicit and explicit stances in logic
- Algebraic proof theory for substructural logics: cut-elimination and completions
- 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
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
- Residuated lattices. An algebraic glimpse at substructural 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
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
- On square-increasing ordered monoids and idempotent semirings
- 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.
- Categories of algebraic contexts equivalent to idempotent semirings and domain semirings
- Hyper-MacNeille completions of Heyting algebras
- The structure of generalized BI-algebras and weakening relation algebras
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- Algebraic proof theory for LE-logics
- The FEP for some varieties of fully distributive knotted residuated lattices
- 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.
- Relation algebras, idempotent semirings and generalized bunched implication algebras
- Rule separation and embedding theorems for logics without weakening
- Changing a Semantics: Opportunism or Courage?
- Cut elimination and strong separation for substructural logics: an algebraic approach
- A Gentzen system for involutive residuated lattices
- 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)
