RETRPROV. A system that looks for axioms

DOI10.1007/S002360050069MaRDI QIDQ2565056zbMATH OpenOpenAlexWikidataFDO

Authors Andrzej Biela, Jakub Borowczyk

Publication date 7 January 1997

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360050069

zbMATH Keywords

propositional calculus

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 465521
• scientific article; zbMATH DE number 1191245
• A system for axiomatic programming
• scientific article; zbMATH DE number 3972841
• scientific article; zbMATH DE number 1072531
• A framework for proof systems
• scientific article; zbMATH DE number 517088
• A semantical view of proof systems
• Axiomatic System, Deduction and Implication
• A hierarchy of axiom system ACG

Cited in

(3)

• SRASS - A Semantic Relevance Axiom Selection System
• scientific article; zbMATH DE number 465521 (Why is no real title available?)
• A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains

This page was built for publication: RETRPROV. A system that looks for axioms

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