2016年3月23日 · A disjunction \((\phi \vee \psi)\) is true iff at least one of the disjuncts is true. Adopting a natural deduction system, the proof-theoretical contribution of disjunctive formulas …

2001年1月6日 · Disjunction is a binary truth-function, the output of which is a sentence true if at least one of the input sentences (disjuncts) is true, and false otherwise. Disjunction, together …

2009年7月10日 · For in certain places he says that his Perception-Illusion disjunctions permit a description of what is seen in terms of how the thing looks, thereby allowing the following kind …

The Turn to Heyting’s Formalized Logic and Arithmetic 1. Some early results. Intuitionistic propositional logic is not a finitely valued logic.

2021年10月29日 · The rule of \(\lor\)-E allows us to infer a conclusion from a disjunction given subproofs showing how the conclusion can be deduced on the assumption of any of the …

2010年2月4日 · Because there appears always to be this option of making the content of a term some disjunction of items, the problem has been called “the disjunction problem”. [ 6 ] As was …

The use of the \(\or\)-notation in the three cases above should not be taken to suggest that Lewis and Groenendijk–Stokhof were following Fusco’s general strategy, of tailoring the received …

1998年6月17日 · It also accepts conjunction elimination and disjunction introduction. In fact, Core Logic supports all the standard primitive rules that we find in the proof theory of intuitionist …

This "quantifier exclusive-or" is certainly not the only option (contra McCawley [1978], 128–130) available to someone who seeks a semantic account of exclusive disjunction in natural …

1999年9月1日 · The disjunction and existence properties are special cases of a general phenomenon peculiar to nonclassical theories. The admissible rules of a theory are the rules …