Author:
Tugué Tosiyuki,Nagata Shûrô
Abstract
Before stating the purpose, we explain some propositional logics treated in this paper. The logical symbols we use are: implication →, conjunction ∧, disjunction ∨, and the propositional constant ⋏ denoting contradiction.
Publisher
Cambridge University Press (CUP)