scientific article; zbMATH DE number 3437114
From MaRDI portal
Publication:4405136
zbMath0278.02016MaRDI QIDQ4405136
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ On detachment-substitutional formalization in normal modal logics ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ Logical matrices and the amalgamation property
This page was built for publication:
