scientific article

zbMATH Open0589.03036MaRDI QIDQ3717044

S. V. Popov

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (1)

Unnamed Item

Recommendations

• A diagrammatic calculus of syllogisms 👍 👎
• A Diagrammatic Calculus of Syllogisms 👍 👎
• Sequent Calculus for Euler Diagrams 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: