scientific article
From MaRDI portal
Publication:2735691
zbMath0969.03015MaRDI QIDQ2735691
Publication date: 4 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ Complementary proof nets for classical logic ⋮ Paraconsistency in classical logic ⋮ A natural deduction system for first degree entailment
This page was built for publication: