Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Logical constant

Known as: Constant, Logical constants, Logical term 
In logic, a logical constant of a language is a symbol that has the same semantic value under every interpretation of . Two important types of… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
The Xilinx Virtex family of static random access memory (SRAM) based field programmable gate array (FPGA) devices have made… Expand
  • figure 1
  • figure 2
  • table I
  • table II
Is this relevant?
Highly Cited
2004
Highly Cited
2004
  • FOSSIL RECORD
  • 2004
  • Corpus ID: 34077385
'Gene flow' means the movement of genes. In some cases, small fragments of DNA may pass from one individual directly into the… Expand
  • figure 16.1
  • figure 16.2
  • figure 16.3
  • figure 16.4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
All nontwisting Petrov-type N solutions of vacuum Einstein field equations with cosmological constant Λ are summarized. They are… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
AbstractThis paper presents a calculus for mereotopological reasoning in which two-dimensional spatial regions are treated as… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Several authors have suggested that a more parsimonious and conceptually elegant treatment of everyday mereological and… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
One objective of this paper is the determination of the proof-theoretic strength of Martin-Löf's type theory with a universe and… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
  • D. Scott
  • Theor. Comput. Sci.
  • 1993
  • Corpus ID: 7216334
Abstract The paper (first written in 1969 and circulated privately) concerns the definition, axiomatization, and applications of… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
This thesis presents accounts of a range of linguistic phenomena in an extended categorial framework, and develops proposals for… Expand
Is this relevant?
Highly Cited
1964
Highly Cited
1964
The present chapter deals with the formulation of an important theory, that of chemical types. The first to be established was… Expand
Is this relevant?
Highly Cited
1949
Highly Cited
1949
In this paper, we are concerned with the arithmetical definability of certain notions of integers and rationals in terms of other… Expand
Is this relevant?