scientific article; zbMATH DE number 3557785

zbMath0358.02063MaRDI QIDQ4133631

David Makinson

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Abstract deductive systems (03B22)

Related Items (6)

Structural completeness in relevance logics ⋮ The degrees of maximality of the intuitionistic propositional logic and of some of its fragments ⋮ The lattice of strengthenings of a strongly finite consequence operation ⋮ On structural completeness of implicational logics ⋮ On structural completeness of many-valued logics ⋮ Key notions of Tarski's methodology of deductive systems

This page was built for publication: