On the Negative Disjunction Property

DOI10.26686/AJL.V15I1.4822MaRDI QIDQ3121035zbMATH OpenOpenAlexWikidataFDO

Authors 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

disjunction propertyHeyting algebraintermediate logicJankov's logicnegative disjunction property

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3853044
• On theories with the general disjunction property
• DISJUNCTIVITY
• scientific article; zbMATH DE number 700349
• On negation as instantiation
• scientific article; zbMATH DE number 3875274
• The disjunction property of intermediate propositional logics
• scientific article; zbMATH DE number 20700
• scientific article; zbMATH DE number 32141
• scientific article; zbMATH DE number 3987262

Cited in

(2)

• Explicating logical independence
• scientific article; zbMATH DE number 1485616 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3121035)