Intuitionistic N-Graphs

DOI10.1093/jigpal/jzt033zbMath1328.03054OpenAlexW2111101597WikidataQ56994482 ScholiaQ56994482MaRDI QIDQ5176672

Ruy J. G. B. de Queiroz, Marcela Quispe-Cruz, Anjolina de Oliveira, V. C. V. de Paiva

Publication date: 27 February 2015

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

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

zbMATH Keywords

sequent calculusproof theorynatural deductionintuitionistic propositional logicN-graphsmultiple-conclusion systemsproof-graphs

Mathematics Subject Classification ID

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

Related Items (1)

Natural deduction for bi-intuitionistic logic

This page was built for publication: Intuitionistic N-Graphs