Logical connective

Known as: Connective (logic), Logical operations, Propositional operator 
In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1937-2018
0500100019372017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
The authors of the International Technology Roadmap for Semiconductors—the industry consensus set of goals established for… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2007
2007
In [1, 2] we studied various concepts of bipolar queries (cf. Dubois and Prade [3]). We advocated there the use of a fuzzified… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The Web and especially major Web search engines are essential tools in the quest to locate online information for many people… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
ion Patterns Abstraction pattern Γ : (V,O,C) V = { x1 : τ1, ..., xk : τk } O = 〈 I(v1, ..., vm) | I : τ1 × ... × τm → τ 〉 C… (More)
  • figure 1
  • figure 3
  • figure 4
  • table 1
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The Concurrent Logical Framework, or CLF, is a new logical framework in which concurrent computations can be represented as… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
  • Audun Jøsang
  • International Journal of Uncertainty, Fuzziness…
  • 2001
In standard logic, propositions are considered to be either true or false. However, a fundamental aspect of the human condition… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In his book “Conceptual Spaces The Geometry of Thought”, Peter Gärdenfors [1] presents a pioneering theory for representing… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We identify and validate from a large corpus constraints from conjunctions on the positive or negative semantic orientation of… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
Highly Cited
1994
Highly Cited
1994
ions [26, 27, 112, 117, 118] or logical arrays [72]. 
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1988
Highly Cited
1988
A novel logic is introduced for the introduction of nondeterministic and concurrent processes expressed in a process algebra. For… (More)
Is this relevant?