Relational Methods in Computer Science

Redirect to:

• Relational Methods in Computer Science

DOI10.1007/11734673MaRDI QIDQ5899319zbMATH OpenOpenAlexFDO

Authors Ewa Orłowska, Anna Maria Radzikowska

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11734673

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25)

Recommendations

• On the algebraic structure of linear, relevance, and fuzzy logics
• An algebraic approach to the disjunction property of substructural logics
• scientific article; zbMATH DE number 7644094
• scientific article; zbMATH DE number 1543335
• Proper semantics for substructural logics, from a stalker theoretic point of view

Cited in

(7)

• Representation theorems for some fuzzy logics based on residuated non-distributive lattices
• Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
• Decidability of equational theories for subsignatures of relation algebra
• Extension properties and subdirect representation in abstract algebraic logic
• scientific article; zbMATH DE number 7644094 (Why is no real title available?)
• An algebraic approach to the disjunction property of substructural logics
• Duality via truth for some fuzzy modal logic

This page was built for publication: Relational Methods in Computer Science

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