Relational Methods in Computer Science

DOI10.1007/11734673zbMath1185.03096OpenAlexW2482623798MaRDI QIDQ5899319

Anna Maria Radzikowska, Ewa S. Orłowska

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

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

Related Items (1)

Representation theorems for some fuzzy logics based on residuated non-distributive lattices

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