zbMath0452.03009MaRDI QIDQ3898468
Martin W. Bunder
Publication date: 1980
zbMATH Keywords
quantification; significance logic; generalized restricted generality
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03B40: Combinatory logic and lambda calculus