scientific article; zbMATH DE number 7157613

DOI10.2143/LEA.245.0.3285706zbMath1457.03026MaRDI QIDQ5212088

Ahti-Veikko Pietarinen, Ma Minghui

Publication date: 24 January 2020

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

zbMATH Keywords

intuitionistic logicdeep inferenceCharles Peircegraphical logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (7)

Peirce's dragon-head logic (R 501, 1901) ⋮ Residuation in existential graphs ⋮ Natural deduction for intuitionistic Euler-Venn diagrams ⋮ Peirce’s Existential Graphs as a Contribution to Transcendental Logic ⋮ On the logical philosophy of assertive graphs ⋮ A Weakening of Alpha Graphs: Quasi-Boolean Algebras ⋮ Assertive and Existential Graphs: A Comparison

This page was built for publication: