A Gentzen-type calculus of sequents for single-operator propositional logic

From MaRDI portal

Publication:5532526

Jump to:navigation, search

DOI10.2307/2271244zbMath0153.00601OpenAlexW2061047414MaRDI QIDQ5532526

Publication date: 1967

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

Full work available at URL: https://doi.org/10.2307/2271244

zbMATH Keywords

mathematical logic

This page was built for publication: A Gentzen-type calculus of sequents for single-operator propositional logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5532526&oldid=30121747"