Ideal theory of pre-logics based on the theory of falling shadows

Young Bae Jun, Sun Shin Ahn

Research output: Contribution to journalArticlepeer-review

Abstract

Based on the theory of a falling shadow which was first formulated by Wang [8], a theoretical approach of the ideal structure in pre-logics is established. The notions of a falling subalgebra, a falling and a positive implicative falling ideal of a pre-logic are introduced. Some fundamental properties are investigated. Relations among a falling subalgebra, a falling ideal and a positive implicative falling ideal are stated. Characterizations of falling deals and positive implicative falling ideals are discussed.

Original languageEnglish
Pages (from-to)744-751
Number of pages8
JournalJournal of Computational Analysis and Applications
Volume24
Issue number4
StatePublished - 2018

Keywords

  • Falling ideal
  • Falling shadow
  • Falling subalgebra
  • Positive implicative falling ideal

Fingerprint

Dive into the research topics of 'Ideal theory of pre-logics based on the theory of falling shadows'. Together they form a unique fingerprint.

Cite this