ON SPECIAL SETS IN PRE-LOGICS Ahn, Sun-Shin; Yoo, Jae-Kwang;
The notion of a complicated pre-logic is introduced and investigated some properties of it. A special set in a pre-logic is established and some related its properties are discussed. Also more extended special sets in a pre-logic are introduced and some relations with deductive systems are obtained.
pre-logic;deductive system;terminal section;(extended) special set;