Strategic construction of Fitch-style proofs
type: Item
instance of: scholarly article
title: Strategic construction of Fitch-style proofs
zbMATH Open document ID: 0954.03014
DOI: 10.1023/A:1005087316935
author: Frederic D. Portoraro
published in: Studia Logica
publication date: 2001-02-14T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 97U40
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1501367
zbMATH Keywords: interactive proof construction
zbMATH Keywords: Fitch-style natural deduction
zbMATH Keywords: Symlog
zbMATH Keywords: theorem prover
zbMATH Keywords: proof-construction strategies
zbMATH Keywords: unification algorithm
describes a project that uses: THINKER
MaRDI profile type: Publication
full work available at URL: a:1005087316935
OpenAlex ID: W1490467704
description: scientific article; zbMATH DE number 1501367