scientific article; zbMATH DE number 3557785

zbMATH Open0358.02063MaRDI QIDQ4133631FDOQ4133631

Authors: David Makinson 

Publication date: 1976

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (9)

• Syntactic characterizations of completeness using duals and operators
• Title not available (Why is that?)
• Structural completeness in relevance logics
• The lattice of strengthenings of a strongly finite consequence operation
• On structural completeness of many-valued logics
• On structural completeness of implicational logics
• Key notions of Tarski's methodology of deductive systems
• Title not available (Why is that?)
• The degrees of maximality of the intuitionistic propositional logic and of some of its fragments

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)