scientific article; zbMATH DE number 761283

MaRDI QIDQ4835618zbMATH OpenFDO

Authors Stan J. Surma

Publication date 6 June 1995

zbMATH Keywords

compatibilitycompletenessconsequenceconsistencydeductiondeductive theorydeductively-closed systemexpressive equivalencemaximalitymetalogicprovability

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Recommendations

• scientific article; zbMATH DE number 1303427
• The logic of alternative logical consequence
• From closure-operatic deductive methodology to non-standard alternatives
• Theory of logical calculi. Basic theory of consequence operations
• Explicating logical independence

Cited in

(8)

• A hierarchy of classical and paraconsistent logics
• A shared framework for consequence operations and abstract model theory
• From closure-operatic deductive methodology to non-standard alternatives
• scientific article; zbMATH DE number 1303427 (Why is no real title available?)
• First order meta theories
• The Lvov-Warsaw school: a true mythology
• scientific article; zbMATH DE number 2101961 (Why is no real title available?)
• The logic of alternative logical consequence

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 Q4835618)