scientific article; zbMATH DE number 65539

MaRDI QIDQ4012888zbMATH OpenFDO

Authors Peter Schroeder-Heister

Publication date 27 September 1992

zbMATH Keywords

deductive systemselimination inferencesintroduction inferencesintuitionistic logicstructural frameworksstructural inferencessubstructural logics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Structuralist logic: implications, inferences, and consequences
• scientific article; zbMATH DE number 1907195
• Metainferential duality
• Harmony and the context of deducibility
• scientific article; zbMATH DE number 1377699

Cited in

(12)

• Bucket elimination: A unifying framework for reasoning
• What is the logic of inference?
• Validity concepts in proof-theoretic semantics
• Harmony and the context of deducibility
• Inference in action
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• A comparison between monoidal and substructural logics
• Metainferential duality
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• The practice of logical frameworks
• Free semantics
• Proof-theoretic semantics: an autobiographical survey

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