scientific article; zbMATH DE number 2015276
From MaRDI portal
Publication:4438105
zbMath1034.03028MaRDI QIDQ4438105
Publication date: 9 December 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Notes on Craig interpolation for LJ with strong negation ⋮ A simple way to overcome hyperconnexivity ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Falsification-aware semantics and sequent calculi for classical logic
This page was built for publication:
