New Foundations

Known as: Typed set theory 
In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1939-2016
051019392015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
a r t i c l e i n f o Ecological economics has been repeatedly described as transdiciplinary and open to including everything… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
A DSSS UWB transceiver using the 3.1 to 5 GHz band is implemented in 0.18 /spl mu/m CMOS and includes a programmable pulse… (More)
Is this relevant?
2004
2004
This paper presents a novel neuro-fuzzy (NF) controller based speed control scheme for a high performance induction motor (IM… (More)
  • figure 6
  • figure 4
Is this relevant?
2004
2004
In this paper, fast heuristics for a centralized multi-agent route planner are presented and computationally evaluated. We solve… (More)
  • table I
  • figure 2
  • figure 5
  • table IV
Is this relevant?
2002
2002
Preamble Physical reality is all the reality we have, and so physical theory in the standard sense is all the ontology we need… (More)
Is this relevant?
2002
2002
This paper presents the first 2.4 GHz LNA with 2kV HBM ESD protection integrated in a 0.15 µm CMOS process. The LNA has been… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
1999
1999
Uncertainty of complex valued physical quantities z x iy can be described by complex fuzzy sets Traditionally such sets have been… (More)
Is this relevant?
1998
1998
We provide a constructive and intensional interpretation for the speciication language Z in a theory of operations and kinds T… (More)
Is this relevant?
1992
1992
Practical reasoning aims at deciding what actions to perform in light of the goals a rational agent possesses. This has been a… (More)
  • figure 1
  • figure 2
Is this relevant?
1990
1990
This paper introduces a new higher-order typed constructive predicate logic for fixpoint computations, which exploits the… (More)
Is this relevant?