Year: 2010
Type: article
Abstract: 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.
Source: Honam Mathematical Journal
Authors: Young-Hie Kim, Sun-Shin Ahn
Institutions: Yonsei University, Dongguk University
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2021962518