Q4903913
type: Item
instance of: scholarly article
zbMATH Open document ID: 1268.03030
author: Norihiro Kamide
publication date: 2013-01-28T00:00:00Z
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6131386
zbMATH Keywords: intuitionistic paraconsistent logic
zbMATH Keywords: sequent calculus
MaRDI profile type: Publication
Recommended article: Q4207885
Recommended article: Q5692441
Recommended article: Q4639914
Recommended article: Q4539745
Recommended article: Combining intuitionistic connectives and Routley negation
Recommended article: Q5692275
Recommended article: Ideal paraconsistent logics
Recommended article: An intuitionistic logic with probabilistic operators
Recommended article: Q4236373
Recommended article: Intuitionistic hybrid logic
description: scientific article; zbMATH DE number 6131386