Dana Scott's work with generalized consequence relations

MaRDI QIDQ5416163zbMATH OpenFDO

Authors Lloyd Humberstone

Publication date 19 May 2014

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Classical propositional logic (03B05) Abstract deductive systems (03B22) Many-valued logic (03B50)

Recommendations

• Remarks on the Scott-Lindenbaum theorem
• scientific article; zbMATH DE number 1303452
• Bloom, Brown and Suszko's work on abstract logics
• On a conservative extension argument of Dana Scott
• A Proof of the Characterization Theorem for Consequence Relations

Cited in

(5)

• Eliminating disjunctions by disjunction elimination
• Remarks on the Scott-Lindenbaum theorem
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Eliminating disjunctions by disjunction elimination
• What is a logical theory? On theories containing assertions and denials

This page was built for publication: Dana Scott's work with generalized consequence relations

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