scientific article
From MaRDI portal
Publication:3435250
zbMath1117.03320MaRDI QIDQ3435250
Publication date: 25 April 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Completeness and cut-elimination theorems for trilattice logics ⋮ Proof systems combining classical and paraconsistent negations
This page was built for publication: