DEDUCTIVE SYSTEMS IN COMMUTATIVE PRE-LOGICS
Young-Hie Kim, Sun-Shin Ahn · Honam Mathematical Journal · 2010
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.