From arithmetic expressions to propositional formulae

DOI10.16926/M.2016.21.12MaRDI QIDQ5040699zbMATH OpenOpenAlexFDO

Authors Lidia Stępień, Marcin Ryszard Stępień

Publication date 17 October 2022

Published in Scientific Issues Jan Długosz University in Częstochowa. Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.16926/m.2016.21.12

Mathematics Subject Classification ID

Numerical analysis (65-XX) Computer science (68-XX)

Recommendations

• Propositional representation of arithmetic proofs (preliminary version)
• scientific article; zbMATH DE number 3871347
• Predicative logic and formal arithmetic
• scientific article; zbMATH DE number 4210101
• scientific article; zbMATH DE number 1097010
• scientific article; zbMATH DE number 823612
• scientific article; zbMATH DE number 3860379
• A normal form for logical derivations implying one for arithmetic derivations
• scientific article; zbMATH DE number 107724
• PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC

This page was built for publication: From arithmetic expressions to propositional formulae

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