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

DOI10.15388/LMR.A.2017.01MaRDI QIDQ5040795zbMATH OpenOpenAlexFDO

Authors Romas 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

sequent calculuspropositional logicBrodsky's coding method

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• A coding method for a sequent calculus of propositional logic
• scientific article; zbMATH DE number 4008367
• Encoding modal logics in logical frameworks
• Encoding deductive argumentation in quantified Boolean formulae
• scientific article; zbMATH DE number 702472
• Tableau methods for classical propositional logic
• scientific article; zbMATH DE number 63752
• scientific article; zbMATH DE number 1045389
• scientific article; zbMATH DE number 4031629

Cites work

• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• A coding method for a sequent calculus of propositional logic
• Sequent Calculi for Normal Modal Propositional Logics

Cited in

(1)

• A coding method for a sequent calculus of propositional logic

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

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