Translator Disclaimer
VOL. 6 | 1966 Chapter II: The Finite Positive Connectives

Abstract

Contents

  • A. Preliminary Definitions and Notation

  • B. Informal Discussion

  • C. Classical Form of the Rules

  • D. The Systems LA (G) and LC (G)

  • E. Some Preliminary Theorems

  • F. The Technique of Elementary Derivations. Decidability

  • G. The Elimination Theorem

  • I. The Natural System T

  • J. Equivalent Propositional Algebras. Systems HA and HC

  • K. Concluding Remarks

Information

Published: 1 January 1966
First available in Project Euclid: 29 March 2007

Rights: Copyright © 1966, University of Notre Dame

CHAPTER
41 PAGES


SHARE
Vol. 6 • 1 January 1966
Back to Top