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

Related topics

Related topics

10 relations
First-order logicHilbert systemHindley–Milner type systemNatural deduction
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Modulation of aesthetic value by semantic context: An fMRI study
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
A Dissociation Between Moral Judgments and Justifi cations
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
Strategic system comparisons via targeted relevance judgments
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
Judgment aggregation by quota rules : majority voting generalized
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
Using the Web to Obtain Frequencies for Unseen Bigrams
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
Decision-making with the AHP: Why is the principal eigenvector necessary
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
Principles of Forecasting: A Handbook for Researchers and Practitioners
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
A general multi-level evaluation process for hybrid MADM with uncertainty
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
A Framework for Defining Logics
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
On understanding laws, evolution, and conservation in the large-program life cycle
The paper presents interpretations of some recently discovered laws of evolution and conservation in the largeprogram life cycle… (More)
  • figure 1
Is this relevant?