Impredicativity

Known as: Predicativism, Predicative mathematics, Impredicative definition 
In mathematics and logic, a self-referencing definition is called impredicative. More precisely, a definition is said to be impredicative if it… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
We present impredicative concurrent abstract predicates – iCAP – a program logic for modular reasoning about concurrent… (More)
Is this relevant?
2009
2009
We investigate cut-elimination and cut-simulation in impredicative (higherorder) logics. We illustrate that adding simple axioms… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
2009
2009
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is considered as computation. We introduce… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2006
2006
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Ontologies in current computer science parlance are computer based resources that represent agreed domain semantics. Unlike data… (More)
  • figure 2
  • figure 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
There is a need to quantify and qualify the ability of ectomycorrhizae to improve tree growth and nutrition and, in particular… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We propose a linear type system with recursion operators for inductive datatypes which ensures that all definable functions are… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
perspective, labels represent an extra `informational resource' which is present in deduction and can play a variety of roles… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We describe a novel technique and implemented system for constructing a subcate-gorization dictionary from textual corpora. Each… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
The goal of science is to understand why things are the way they are. By emulating the logic of nature, computer simulation… (More)
Is this relevant?