Abstract Logical Constants
- 84 Downloads
A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.
KeywordsLogical constants Abstract logic Logical consequence
Mathematics Subject Classification03C95
Unable to display preview. Download preview PDF.