On the Negative Disjunction Property

DOI10.26686/AJL.V15I1.4822zbMath1455.03035OpenAlexW2801239458WikidataQ129955102 ScholiaQ129955102MaRDI QIDQ3121035

Craig Graham McKay

Publication date: 19 March 2019

Published in: The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.26686/ajl.v15i1.4822

zbMATH Keywords

Heyting algebradisjunction propertyintermediate logicJankov's logicnegative disjunction property

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (1)

Explicating logical independence

This page was built for publication: On the Negative Disjunction Property