scientific article; zbMATH DE number 1369670
From MaRDI portal
Publication:4704742
zbMath0957.03032MaRDI QIDQ4704742
Publication date: 22 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Temporal BI: proof system, semantics and translations ⋮ A syntactic approach to Maksimova's principle of variable separation for some substructural logics ⋮ A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
This page was built for publication:
