scientific article; zbMATH DE number 3946122

MaRDI QIDQ3717044zbMATH OpenFDO

Authors Sergey Popov

Publication date 1984

zbMATH Keywords

classes of proofsdiagram based method of proof analysisdiagrams of proofsequivalent proofssequential classical and intuitionistic propositional calculi

Mathematics Subject Classification ID

Classical propositional logic (03B05) Structure of proofs (03F07) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 972577
• Sequent Calculus for Euler Diagrams
• scientific article; zbMATH DE number 1670630
• A Diagrammatic Calculus of Syllogisms
• A diagrammatic calculus of syllogisms
• scientific article; zbMATH DE number 794693
• scientific article; zbMATH DE number 5544027
• scientific article; zbMATH DE number 1787154

Cited in

(7)

• Syllogisms in rudimentary linear logic, diagrammatically
• The three dimensions of proofs
• scientific article; zbMATH DE number 4077509 (Why is no real title available?)
• scientific article; zbMATH DE number 1231506 (Why is no real title available?)
• scientific article; zbMATH DE number 2120405 (Why is no real title available?)
• Computer Science Logic
• scientific article; zbMATH DE number 972577 (Why is no real title available?)

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