A uniform procedure for converting matrix proofs into sequent-style systems
type: Item
instance of: scholarly article
title: A uniform procedure for converting matrix proofs into sequent-style systems
zbMATH Open document ID: 1003.68147
author: Christoph Kreitz
author: Stephan Schmitt
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1853132
describes a project that uses: Nuprl
describes a project that uses: SETHEO
describes a project that uses: Mathematica
describes a project that uses: KoMeT
MaRDI profile type: Publication
OpenAlex ID: W2151355005
cites work: Q3880316
cites work: More on the problem of finding a mapping between clause representation and natural-deduction representation
cites work: Mathematical thought. An introduction to the philosophy of mathematics
cites work: KoMeT
cites work: On Matrices with Connections
cites work: Q4692618
cites work: Q5582318
cites work: Proof methods for modal and intuitionistic logics
cites work: Untersuchungen über das logische Schliessen. I
cites work: Connection-based proof construction in linear logic
cites work: SETHEO: A high-performance theorem prover
cites work: Q3490999
cites work: Q3791114
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q3838818
cites work: A resolution theorem prover for intuitionistic logic
cites work: Q3999539
cites work: Automated reasoning contributes to mathematics and logic
DOI: 10.1006/INCO.2000.2913
Recommended article: Converting non-classical matrix proofs into sequent-style systems
Recommended article: Q4530465
Recommended article: Q2721203
Recommended article: A proof-theoretic analysis of the classical propositional matrix method
Recommended article: A formal framework for specifying sequent calculus proof systems
Recommended article: Generic Methods for Formalising Sequent Calculi Applied to Provability Logic
Recommended article: Theorem proving using equational matings and rigid E -unification
Recommended article: Q3999539
Recommended article: Algorithms for finding matrix models of propositional calculi
Recommended article: Proving structural properties of sequent systems in rewriting logic
description: scientific article; zbMATH DE number 1853132