scientific article; zbMATH DE number 3946122

zbMATH Open0589.03036MaRDI QIDQ3717044FDOQ3717044

Authors: Sergey Popov 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• The three dimensions of proofs
• Title not available (Why is that?)
• Syllogisms in rudimentary linear logic, diagrammatically
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer Science Logic

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)