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

DOI10.15388/LMR.A.2017.01OpenAlexW2793924652MaRDI QIDQ5040795FDOQ5040795

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

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

zbMATH Keywords

sequent calculuspropositional logicBrodsky's coding method

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cites Work

• Title not available (Why is that?)
• Sequent Calculi for Normal Modal Propositional Logics
• A coding method for a sequent calculus of propositional logic

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)