Q4714227
type: Item
instance of: scholarly article
zbMATH Open document ID: 0855.03009
publication date: 1997-02-09T00:00:00Z
full work available at URL: https://eudml.org/doc/119000
full work available at URL: 18.html
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 940717
zbMATH Keywords: propositional relevance logic
zbMATH Keywords: Gentzen-style purely implicational system
zbMATH Keywords: NOID
zbMATH Keywords: Anderson-Belnap conjecture
MaRDI profile type: Publication
Recommended article: Q4874808
Recommended article: The Identity Transform of a Permutation and its Applications
Recommended article: Q5589310
Recommended article: A Combinatorial Identity
Recommended article: Permutations
Recommended article: Q4410008
Recommended article: Q4560015
description: scientific article; zbMATH DE number 940717