Dual-intuitionistic logic
sequent system \({\mathbf L}{\mathbf D}{\mathbf J}\)
Gentzen's intuitionistic sequent system \({\mathbf L}{\mathbf J}\)
Set Theory with Unrestricted Comprehension Schema
scientific article; zbMATH DE number 1011144