scientific article; zbMATH DE number 3557785

MaRDI QIDQ4133631zbMATH OpenFDO

Authors David Makinson

Publication date 1976

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4055574
• Structural Completeness in Substructural Logics
• Publication:3475249
• Tarskian Structured Consequence Relations and Functional Completeness
• Structural completeness in propositional logics of dependence
• scientific article; zbMATH DE number 844484
• scientific article; zbMATH DE number 67021
• Structural completeness in relevance logics
• Syntactic characterizations of completeness using duals and operators
• scientific article; zbMATH DE number 1189280

Cited in

(9)

• Syntactic characterizations of completeness using duals and operators
• scientific article; zbMATH DE number 3989320 (Why is no real title available?)
• On structural completeness of many-valued logics
• The degrees of maximality of the intuitionistic propositional logic and of some of its fragments
• Key notions of Tarski's methodology of deductive systems
• scientific article; zbMATH DE number 3853040 (Why is no real title available?)
• On structural completeness of implicational logics
• The lattice of strengthenings of a strongly finite consequence operation
• Structural completeness in relevance logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133631)