A coding method for a sequent calculus of propositional logic

DOI10.1007/s10986-008-9008-6zbMath1156.03010OpenAlexW2089782082MaRDI QIDQ946138

R. Alonderis

Publication date: 22 September 2008

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10986-008-9008-6

zbMATH Keywords

propositional logicsequent calculuscoding of proofs

Mathematics Subject Classification ID

Classical propositional logic (03B05) Structure of proofs (03F07)

Related Items (1)

Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic

This page was built for publication: A coding method for a sequent calculus of propositional logic