scientific article; zbMATH DE number 2019879
From MaRDI portal
Publication:4440575
zbMath1037.03028MaRDI QIDQ4440575
Publication date: 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)
This page was built for publication:
