IEEE

The complexity of disjunction in intuitionistic logic

Abstract: We study procedures for the derivability problem of fragments of intuitionistic logic. Intuitionistic logic is known to be PSPACE-complete, with implication being one of the main ...
IEEE

Negation in Disjunctive Logic Programs

Abstract: In this paper, we study inferring negation from disjunctive logic programs. First, we consider extensions of the GCWA and the WGCWA for general disjunctive programs based upon the stable ...
JSTOR Daily

Axiomatic Extensions of the Constructive Logic with Strong Negation and the Disjunction Property

We study axiomatic extensions of the propositional constructive logic with strong negation having the disjunction property in terms of corresponding to them varieties ...
JSTOR Daily

Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms

This is a preview. Log in through your library . Journal Information The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued ...
University of Vermont

Propositional logic

Propositional logic includes sentence letters (A, B, C, etc), which are assigned truth values, and logical connectives (AND, OR, NOT, IMPLICATION, EQUIVALENCE), but not quantifiers. This is also ...