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 language | English |
---|---|
Pages (from-to) | 744-751 |
Number of pages | 8 |
Journal | Journal of Computational Analysis and Applications |
Volume | 24 |
Issue number | 4 |
State | Published - 2018 |
Keywords
- Falling ideal
- Falling shadow
- Falling subalgebra
- Positive implicative falling ideal