Algebraic approach to algorithmic logic

DOI10.2478/FORMA-2014-0025MaRDI QIDQ2344192zbMATH OpenOpenAlexFDO

Authors Grzegorz Bancerek

Publication date 12 May 2015

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

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) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 4057487
• scientific article; zbMATH DE number 4047713
• scientific article; zbMATH DE number 897162
• scientific article; zbMATH DE number 4031629
• scientific article; zbMATH DE number 1852925
• scientific article; zbMATH DE number 3164639
• Algebraic logic
• scientific article; zbMATH DE number 5063195
• Algebraic approach to logical inference implementation
• scientific article; zbMATH DE number 3938529

Cites work

• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• scientific article; zbMATH DE number 5499339 (Why is no real title available?)
• Program algebra over an algebra
• Semantics of MML query -- ordering

Cited in

(7)

• scientific article; zbMATH DE number 3938517 (Why is no real title available?)
• scientific article; zbMATH DE number 4085079 (Why is no real title available?)
• scientific article; zbMATH DE number 6001202 (Why is no real title available?)
• scientific article; zbMATH DE number 3938529 (Why is no real title available?)
• scientific article; zbMATH DE number 3227504 (Why is no real title available?)
• scientific article; zbMATH DE number 5063195 (Why is no real title available?)
• scientific article; zbMATH DE number 3637838 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mizar

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

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