scientific article; zbMATH DE number 7576842
From MaRDI portal
Publication:5099993
Publication date: 26 August 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (2)
``Four-valued semantics for the relevant logic R ⋮ A four-valued semantics for terminological logics
This page was built for publication:
