On the Negative Disjunction Property

  • Craig Graham McKay Retired


In the field of intermediate logics, the concept of the disjunction property (DP)  plays an important part. Lloyd Humberstone has drawn my attention to an analogious principle  called the Negative Disjunction Property ( NDP) which applies when the disjuncts involved are negated. The author investigates the NDP in the case of intermediate propositional logics.

Key words: intermediate logic, disjunction property, negative disjunction property, Heyting algebra, Jankov

How to Cite
MCKAY, Craig Graham. On the Negative Disjunction Property. The Australasian Journal of Logic, [S.l.], v. 15, n. 1, apr. 2018. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/4822>. Date accessed: 23 may 2019. doi: https://doi.org/10.26686/ajl.v15i1.4822.