Related Content

In this work

Show Summary Details

Page of

PRINTED FROM OXFORD REFERENCE (www.oxfordreference.com). (c) Copyright Oxford University Press, 2021. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single entry from a reference work in OR for personal use (for details see Privacy Policy and Legal Notice).

date: 04 March 2021

disjunction property

Source:
A Dictionary of Logic
Author(s):

Thomas Macaulay Ferguson,

Graham Priest

disjunction property 

1. For a deductive system disjunction property, the property that for every disjunctive disjunction property-theorem disjunction property, either disjunction property is theorem of disjunction property or disjunction property is theorem of disjunction property. Most notably, intuitionistic logic enjoys the disjunction property.

2. For a theory disjunction property and deductive system disjunction property, the property holding of disjunction property when disjunction property only if disjunction property or disjunction property. The disjunction property is most commonly discussed in the context of intuitionistic logic, e.g., the intuitionistic Heyting Arithmetic disjunction property enjoys the disjunction property.