Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic
From MaRDI portal
Publication:5040795
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
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)