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

DOI10.15388/LMR.A.2017.01OpenAlexW2793924652MaRDI QIDQ5040795

R. Alonderis

Publication date: 18 October 2022

Published in: Lietuvos matematikos rinkinys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.15388/lmr.a.2017.01

zbMATH Keywords

propositional logicsequent calculusBrodsky's coding method

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cites Work

• Unnamed Item
• A coding method for a sequent calculus of propositional logic
• Sequent Calculi for Normal Modal Propositional Logics

This page was built for publication: Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic