Results 231 to 240 of about 27,151 (281)
Some of the next articles are maybe not open access.
Propositional calculus under adjointness
Fuzzy Sets and Systems, 2002In this paper the author develops a formal system for the class of implications \(A\) and conjunctions \(K\), on partially ordered sets \((L, \leq)\) with top element 1, such that \(A\) and \(K\) are related by adjointness, which means that \(y \leq A(x,z)\) iff \(K(x,y) \leq z\). \(A\) and \(K\) satisfy the neutrality principle (i.e.
openaire +1 more source
1991
The example at the end of the previous chapter which discovered whether or not a person was on board an aircraft used the logical operators AND and OR. This chapter gives a fuller explanation of these and other logical operators.
openaire +1 more source
The example at the end of the previous chapter which discovered whether or not a person was on board an aircraft used the logical operators AND and OR. This chapter gives a fuller explanation of these and other logical operators.
openaire +1 more source
Applications of Propositional Calculus
1993We look at two applications of propositional calculus. The first is its use in solving various “word problems”, such as the superman story on page 37. Formalizing such problems in propositional calculus allows us to solve them more easily than we could using English alone.
David Gries, Fred B. Schneider
openaire +1 more source
1987
Sentences may be combined in various ways to form more complicated sentences. Let us consider only truth-functional combinations, in which the truth or falsity of the new sentence is determined by the truth or falsity of its component sentences.
openaire +1 more source
Sentences may be combined in various ways to form more complicated sentences. Let us consider only truth-functional combinations, in which the truth or falsity of the new sentence is determined by the truth or falsity of its component sentences.
openaire +1 more source
Second Order Propositional Calculus
1981We add to the language of the intuitionistic propositional calculus with connectives Λ, V, →, f (falsity) and atomic propositions P = {p 1, p 2,...} the intuitionistic propositional quantifiers ∀ and ∃ and the set V = [v 1, v 2,…] of propositional variables.
openaire +1 more source