Q3781064
type: Item
instance of: scholarly article
zbMATH Open document ID: 0639.03011
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B30
zbMATH DE Number: 4041863
zbMATH Keywords: deductive systems
zbMATH Keywords: axiomatizable systems
zbMATH Keywords: Brouwerian algebra
zbMATH Keywords: divergent systems
zbMATH Keywords: double negation
MaRDI profile type: Publication
Recommended article: Q4342088
Recommended article: Q4789453
Recommended article: Deductive systems and categories
Recommended article: Q4323894
Recommended article: Q4331757
Recommended article: Deduction-Detachment Theorem and Gentzen-Style Deductive Systems
Recommended article: Axiomatic System, Deduction and Implication
Recommended article: Q3992431
description: scientific article