scientific article; zbMATH DE number 554983
From MaRDI portal
Publication:4288802
zbMath0798.03064MaRDI QIDQ4288802
Publication date: 20 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraizable logicsfinitely equivalential logics with equationally definable truthrestricted Leibniz operatorstructural consequence relations
This page was built for publication: