Kuhn, Steven T. An axiomatization of predicate functor logic. (English) Zbl 0464.03059 Notre Dame J. Formal Logic 24, 233-241 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 03G99 Algebraic logic PDFBibTeX XMLCite \textit{S. T. Kuhn}, Notre Dame J. Formal Logic 24, 233--241 (1983; Zbl 0464.03059) Full Text: DOI