A First-order Axiomatization of the Classical Propositional Calculus

CHIN-MU YANG2021-02-232021-02-231997.09https://scholars.lib.ntu.edu.tw/handle/123456789/549232Held at Sea-Tau (Nan-Tau County, Taiwan), September 12-14, 1997, National Chung Cheng University and Taiwan Philosophical Association, Taiwan.A First-order Axiomatization of the Classical Propositional Calculus – A Model-theoretical Approachconference paper