zbMath1244.03093MaRDI QIDQ3086526
Norihiro Kamide
Publication date: 30 March 2011
Mathematics Subject Classification ID
03B35: Mechanization of proofs and logical operations
03B53: Paraconsistent logics
Related Items