Abstract
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
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
