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.
2012
2012
The Mosaic Theory of the Fourth Amendment
In the Supreme Court’s recent decision on GPS surveillance, United States v. Jones, five justices authored or joined concurring… 
Highly Cited
2009
Highly Cited
2009
A hierarchical design of case-based reasoning in the balanced scorecard application
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… 
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… 
Review
2005
Review
2005
The Alchemy of "Costing Out" an Adequate Education September 14, 2006
In response to the rapid rise in court cases related to the adequacy of school funding, a variety of alternative methods have… 
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… 
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… 
1994
1994
The truth about fiction
ions from their original, subjective counterparts, and draw their existence and essence rather from corresponding meaning-units… 
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)