scientific article; zbMATH DE number 6287566
From MaRDI portal
Publication:5411412
zbMath1286.03088MaRDI QIDQ5411412
Yaroslav Shramko, Heinrich Wansing
Publication date: 23 April 2014
Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/36_34_5.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (3)
First-Degree Entailment and Structural Reasoning ⋮ Valuations: bi, tri, and tetra ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
This page was built for publication: