Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Although ranking among the most fundamental principles of criminal law, nulla poena sine lege (no punishment without law… 
2007
2007
Collaborative information-filtering systems maintain user judgments on the relevance of data items.These systems recommend… 
Review
2005
Review
2005
OHADA (in English, Organization for Harmonization in Africa of Business Laws) is a system of business laws and implementing… 
2004
2004
Abstract An expert on Russian law and politics uses data drawn from interviews with participants in non-payment cases heard by… 
2003
2003
Combining Higher Order Abstract Syntax (HOAS) and (co)- induction is well known to be problematic. In previous work [1] we have… 
1999
1999
Abstract : This paper will propose a specification that will allow any Human Figure Model (HFM) to be controlled by external… 
Review
1995
Review
1995
The cost and delay involved in civil litigation have been a source of concern for some time now. One of the main purposes of the… 
1991
1991
It is remarkable that we are able to perceive a stable visual world and judge the directions, orientations, and movements of… 
1970
1970
THE concept of reliability of measurement is clearly not as simple and static as standard definitions often imply. Reliability is…