ON SPECIAL SETS IN PRE-LOGICS
Sun-Shin Ahn, Jae-Kwang Yoo · Honam Mathematical Journal · 2011
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.