A Generalization of Intuitionistic and Modal Logics

Publisher Website

1 January 1973

book chapter
Published by Elsevier

p. 274-293
https://doi.org/10.1016/s0049-237x(08)71543-x

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

A tableau proof method admitting the empty domain.
Notre Dame Journal of Formal Logic, 1971
Analytic natural deduction
The Journal of Symbolic Logic, 1965
A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
Proceedings of the National Academy of Sciences, 1963