Tableaux and dual tableaux: transformation of proofs
type: Item
instance of: scholarly article
title: Tableaux and dual tableaux: transformation of proofs
zbMATH Open document ID: 1125.03041
author: Joanna Golińska-Pilarek
author: Ewa Orłowska
published in: Studia Logica
publication date: 2007-09-10T00:00:00Z
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 5189075
zbMATH Keywords: first-order logic with identity
zbMATH Keywords: tableaux systems
zbMATH Keywords: Rasiowa-Sikorski proof system
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: s11225-007-9055-8
OpenAlex ID: W2035165256
cites work: The foundations of mathematics. A study in the philosophy of science
cites work: Q3996619
cites work: Untersuchungen über das logische Schliessen. I
cites work: A proof system for contact relation algebras
cites work: Rasiowa-Sikorski deduction systems in computer science applications.
cites work: Correspondence results for relational proof systems with application to the Lambek calculus
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Q4362880
cites work: Q3279278
cites work: Q5734410
cites work: Relational and Kleene-Algebraic Methods in Computer Science
cites work: Q5560258
cites work: Socratic proofs for quantifiers
Wikidata QID: Q126244318
DOI: 10.1007/S11225-007-9055-8
description: scientific article; zbMATH DE number 5189075