scientific article; zbMATH DE number 465608
From MaRDI portal
Publication:4271951
zbMath0790.03059MaRDI QIDQ4271951
Publication date: 22 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraizable logicLeibniz operatordefinabilitylogical matricesconsequence relationsequivalential logics
Algebraic logic (03G99) Equational classes, universal algebra in model theory (03C05) Abstract deductive systems (03B22)
Related Items (4)
ON EQUATIONAL COMPLETENESS THEOREMS ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
This page was built for publication:
