scientific article; zbMATH DE number 1241672
From MaRDI portal
Publication:4225122
zbMath0915.03027MaRDI QIDQ4225122
Publication date: 18 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relational semanticsalgebraizationrelational proof systemsBoolean algebras with nonclassical operatorslogical systems whose models are determined by semigroupsrelational formalization
Related Items (1)
This page was built for publication:
