Learning from Łukasiewicz and Meredith: investigations into proof structures
type: Item
instance of: scholarly article
title: Learning from Łukasiewicz and Meredith: investigations into proof structures
DOI: 10.1007/978-3-030-79876-5_4
author: Christoph Wernhard
author: Wolfgang Bibel
publication date: 2021-12-01T00:00:00Z
full work available at URL: https://arxiv.org/abs/2104.13645
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437072
MaRDI profile type: Publication
OpenAlex ID: W3157934215
cites work: Q3954845
cites work: From Schütte’s Formal Systems to Modern Automated Deduction
cites work: A simplified form of condensed detachment
cites work: Q3970984
cites work: Variations on the Common Subexpression Problem
cites work: Q3997615
cites work: Properties of substitutions and unifications
cites work: Machine learning guidance for connection tableaux
cites work: Missing proofs found
cites work: Algorithmic introduction of quantified cuts
cites work: Principal type-schemes and condensed detachment
cites work: Tableaux and related methods
cites work: ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
cites work: Condensed detachment as a rule of inference
cites work: Grammar-Based Tree Compression
cites work: Q5783647
cites work: Q5613169
cites work: Q4264737
cites work: Notes on the axiomatics of the propositional calculus
cites work: In memoriam Carew Arthur Meredith (1904-1976)
cites work: System Description: E- KRHyper
cites work: Q3797157
cites work: Q5737076
cites work: Faster, higher, stronger: E 2.3
cites work: A legacy recalled and a tradition continued
cites work: Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems
cites work: Finding shortest proofs: An application of linked inference rules
cites work: Atomic Cut Introduction by Resolution: Proof Structuring and Compression
cites work: Automated reasoning contributes to mathematics and logic
description: scientific article; zbMATH DE number 7437072