Skip to search formSkip to main contentSkip to account menu

Universal generalization

Known as: Generalization (disambiguation), Universal generalisation, Generalization (mathematics) 
In predicate logic, generalization (also universal generalization or universal introduction, GEN) is a valid inference rule. It states that if has… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
First-order logicHilbert systemTurnstile (symbol)Universal instantiation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
Derivation of reliable simplification strategies for the comparative LCA of individual and "typical" newly built Swiss apartment buildings
class An abstract class is a base class with an incomplete declaration, as it represents a group of specific subclasses. It… 
2009
2009
Main Problems of Diagrammatic Reasoning. Part I: The generalization problem
The paper attempts to analyze in some detail the main problems encountered in reasoning using diagrams, which may cause errors in… 
2009
2009
Contrasting Classification with Generalisation
Classification and Generalisation are two of the most important abstraction mechanisms in modelling, and while they share a… 
2002
2002
Agreement Impoverishment under Subject Inversion: A Crosslinguistic Analysis
This paper relates agreement to X'-theory, identifying phrasal and extended projections as the natural domains within which… 
2001
2001
An Axiomatic Approach to Feature Term Generalization
This paper presents a missing link between Plotkin's least general generalization formalism and generalization on the Order… 
Highly Cited
2001
Highly Cited
2001
Flexible Comparison of Conceptual GraphsWork done under partial support of CONACyT, CGEPI-IPN, and SNI, Mexico
Conceptual graphs allow for powerful and computationally affordable representation of the semantic contents of natural language… 
1999
1999
Problems Arising From A Simple GIS Generalisation Algorithm
Practical GIS generalisation using existing Arc/Info operations invariably follows a simple, generic generalisation algorithm… 
1989
1989
Expressing generalizations in unification-based grammar formalisms
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing… 
1988
1988
A translation aid system using flexible text retrieval based on syntax-matching
: ETOC (Easy TO Consult) is a translation aid that provides a useful capability for flexible retrieval of texts from a bi-lingual… 
1959
1959
Weitere Versuche zur Züchtung und Abwandlung von klassischem Geflügelpestvirus in menschlichen Gewebsexplantaten
1. In Erweiterung vorgängiger Versuche wurde der Nachweis geleistet, daβ der klassische Geflügelpeststamm „Brescia“ in… 
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)