-autonomous lattices

DOI10.1007/S11225-005-2979-YzbMATH Open1067.03066OpenAlexW4243241284MaRDI QIDQ1780899FDOQ1780899

Authors: Francesco Paoli 

Publication date: 14 June 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-2979-y

Recommendations

• A non commutative generalization of *-autonomous lattices
• \(\bigstar\)-autonomous lattices and fuzzy sets
• scientific article; zbMATH DE number 4103051
• *-Autonomous categories and linear logic
• Nonsymmetric \(^{\ast}\)-autonomous categories

zbMATH Keywords

linear logicsubstructural logicsresiduated latticelattice-ordered group\(\bigstar\)-autonomous lattice

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Ordered groups (06F15) Varieties of lattices (06B20)

Cites Work

• The semantics and proof theory of linear logic
• Substructural logics: a primer
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• THE STRUCTURE OF RESIDUATED LATTICES
• Title not available (Why is that?)
• Quantales and (noncommutative) linear logic
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Title not available (Why is that?)
• Title not available (Why is that?)
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• On the structure of varieties with equationally definable principal congruences. III
• Minimal varieties of residuated lattices
• TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM
• Title not available (Why is that?)
• A really fuzzy approach to the sorites paradox
• Some Properties of Linear Logic Proved by Semantic Methods
• On the algebraic structure of linear, relevance, and fuzzy logics
• Title not available (Why is that?)

Cited In (5)

• A non commutative generalization of *-autonomous lattices
• The continuous weak order
• Compatibly involutive residuated lattices and the Nelson identity
• \(\bigstar\)-autonomous lattices and fuzzy sets
• Minimal varieties of involutive residuated lattices

This page was built for publication: \(\bigstar\)-autonomous lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1780899)