Intuitionistic N-graphs

DOI10.1093/JIGPAL/JZT033MaRDI QIDQ5176672zbMATH OpenOpenAlexWikidataFDO

Authors Marcela Quispe-Cruz, Anjolina de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva

Publication date 27 February 2015

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzt033

zbMATH Keywords

intuitionistic propositional logicmultiple-conclusion systemsN-graphsnatural deductionproof theoryproof-graphssequent calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07)

Recommendations

• A graphical deep inference system for intuitionistic logic
• Propositional intuitionistic multiple-conclusion calculus via proof graphs
• Intuitionistic multiplicative proof nets as models of directed acyclic graph descriptions
• On graphs for intuitionistic modal logics
• scientific article; zbMATH DE number 638367

Cited in

(5)

• Natural deduction for bi-intuitionistic logic
• Linear time proof verification on N-graphs: a graph theoretic approach
• A graphical deep inference system for intuitionistic logic
• Propositional intuitionistic multiple-conclusion calculus via proof graphs
• Intuitionistic Euler-Venn Diagrams

This page was built for publication: Intuitionistic N-graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176672)