Skip to search formSkip to main contentSkip to account menu

Formation rule

Known as: Formation rules 
In mathematical logic, formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
First-order logicFormal grammarFormal languageInterpretation (logic)

Broader (1)

Propositional calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Corrosion-resistant high-entropy alloys: A review
Corrosion destroys more than three percent of the world’s gross domestic product. Therefore, the design of highly corrosion… 
Highly Cited
2011
Highly Cited
2011
Improving identifier informativeness using part of speech information
Recent software development tools have exploited the mining of natural language information found within software and its… 
Highly Cited
2003
Highly Cited
2003
Word-Formation in English
Introduction 1. Basic concepts 2. Studying complex words 3. Productivity and the mental lexicon 4. Affixation 5. Derivation… 
2002
2002
Bringing order to query optimization
A variety of developments combine to highlight the need for respecting order when manipulating relations. For example, new… 
Highly Cited
1994
Highly Cited
1994
Feature-based inheritance networks for computational lexicons
The virtues of viewing the lexicon as an inheritance network are its succinctness and its tendency to highlight significant… 
Highly Cited
1993
Highly Cited
1993
A-Morphous morphology
Review
1992
Review
1992
Conceptual graphs
  • J. Sowa
  • Knowledge-Based Systems
  • 1992
  • Corpus ID: 797728
Highly Cited
1983
Highly Cited
1983
Conversion of control dependence to data dependence
Program analysis methods, especially those which support automatic vectorization, are based on the concept of interstatement… 
Highly Cited
1979
Highly Cited
1979
Russian morphology and lexical theory
[1998 Note: This was my phonology generals paper. It contains a certain amount of misanalysis and misinformation, some of it… 
Highly Cited
1966
Highly Cited
1966
Flow diagrams, turing machines and languages with only two formation rules
In the first part of the paper, flow diagrams are introduced to represent inter ah mappings of a set into itself. Although not… 
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)