A First-order Axiomatization of the Classical Propositional Calculus – A Model-theoretical Approach
Journal
The Conference for the Southern Taiwan Studies in Philosophy 1997
Date Issued
1997.09
Author(s)
Description
Held at Sea-Tau (Nan-Tau County, Taiwan), September 12-14, 1997, National Chung Cheng University and Taiwan Philosophical Association, Taiwan.
Type
conference paper