The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic
type: Item
instance of: scholarly article
title: The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic
zbMATH Open document ID: 1044.03005
author: Sabine Broda
author: Luís Damas
author: Marcelo Finger
author: Paulo Silva e Silva
published in: Theoretical Computer Science
publication date: 2004-08-10T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 2085477
zbMATH Keywords: decision procedure
zbMATH Keywords: rewriting-system
describes a project that uses: Automath
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.02.002
OpenAlex ID: W2161429818
cites work: Q4085699
cites work: Q4023900
cites work: Proof finding algorithms for implicational logics
cites work: Q4346206
cites work: The finite model property for BCK and BCIW
cites work: Q5559220
cites work: Q4263800
cites work: Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends
DOI: 10.1016/J.TCS.2004.02.002
description: scientific article; zbMATH DE number 2085477