DEDUCTIVE SYSTEMS IN COMMUTATIVE PRE-LOGICS Kim, Young-Hie; Ahn, Sun-Shin;
The notions of commutative pre-logics and terminal sections are introduced. Characterizations of a commutative prelogic are provided. Properties of deductive systems in pre-logics which are upper semilattices are considered.
(commutative) pre-logic deductive system(generated by a set) terminal section;