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)

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Combination of neuro-fuzzy network models with biological knowledge for reconstructing gene regulatory networks
Highly Cited
2009
Highly Cited
2009
Beyond Retroactivity to Realizing Justice: A Theory on the Principle of Legality in International Criminal Law Sentencing
Although ranking among the most fundamental principles of criminal law, nulla poena sine lege (no punishment without law… 
2007
2007
MarCol: A Market-Based Recommender System
Collaborative information-filtering systems maintain user judgments on the relevance of data items.These systems recommend… 
Review
2005
Review
2005
Harmonizing Business Laws in Africa: Ohada Calls the Tune
OHADA (in English, Organization for Harmonization in Africa of Business Laws) is a system of business laws and implementing… 
2004
2004
Enforcing Judgments in Russian Economic Courts
Abstract An expert on Russian law and politics uses data drawn from interviews with participants in non-payment cases heard by… 
2003
2003
Multi-level Meta-reasoning with Higher-Order Abstract Syntax
Combining Higher Order Abstract Syntax (HOAS) and (co)- induction is well known to be problematic. In previous work [1] we have… 
1999
1999
A Specification for Human Action Representation
Abstract : This paper will propose a specification that will allow any Human Figure Model (HFM) to be controlled by external… 
Review
1995
Review
1995
A Reform of Civil Procedure: Rationing Procedure Rather Than Access to Justice
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
Spatial vision within egocentric and exocentric frames of reference
It is remarkable that we are able to perceive a stable visual world and judge the directions, orientations, and movements of… 
1970
1970
Individual Inconsistency and Reliability of Measurement1
THE concept of reliability of measurement is clearly not as simple and static as standard definitions often imply. Reliability is… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)