Algebraic approach to algorithmic logic

DOI10.2478/FORMA-2014-0025zbMath1311.03057OpenAlexW1158402109MaRDI QIDQ2344192

Grzegorz Bancerek

Publication date: 12 May 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2014-0025

zbMATH Keywords

algorithmic logicpropsitional calcusquantifier calcus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Uses Software

• Mizar

Cites Work

• Program Algebra over an Algebra
• Semantics of MML Query - Ordering
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic approach to algorithmic logic