Judgment (mathematical logic)

Known as: Judgement (mathematical logic), Judgment (disambiguation) 
Judgments are used for example in formalizing deduction systems: a logical axiom expresses a judgment, premises of a rule of inference are formed as… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Aesthetic judgments, like most judgments, depend on context. Whether an object or image is seen in daily life or in an art… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
To what extent do moral judgments depend on conscious reasoning from explicitly understood principles? We address this question… (More)
  • figure 1
  • table 1
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Relevance judgments are used to compare text retrieval systems. Given a collection of documents and queries, and a set of systems… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The widely discussed ‘discursive dilemma’shows that majority voting in a group of individuals on logically connected propositions… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This article shows that the Web can be employed to obtain frequencies for bigrams that are unseen in a given corpus. We describe… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
In this paper it is shown that the principal eigenvector is a necessary representation of the priorities derived from a positive… (More)
  • table 1
  • table 3
Is this relevant?
2001
2001
Judgmental bootstrapping is a type of expert system. It translates an experts' rules into a quantitative model by regressing the… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Based on an evidential reasoning framework, a general multi-level evaluation process is developed in this paper for dealing with… (More)
  • figure 1
  • table II
  • figure 2
  • table III
  • figure 3
Is this relevant?
Highly Cited
1987
Highly Cited
1987
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax… (More)
Is this relevant?
Highly Cited
1980
Highly Cited
1980
The paper presents interpretations of some recently discovered laws of evolution and conservation in the largeprogram life cycle… (More)
  • figure 1
Is this relevant?