Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 239,067,077 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
First-order logic
Formal grammar
Formal language
Interpretation (logic)
Expand
Broader (1)
Propositional calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The development of novel silver brazing alloys
Robert Snell
2018
Corpus ID: 139382281
This research was primarily focussed on finding novel silver brazing alloys. The first alloy development method used to achieve…
Expand
Review
2016
Review
2016
Indices Valor-Coppead, Carteiras de Ponderacao Igualitária e de Mínima Variancia
R. Lea
,
Carlos Heitor Campan
2016
Corpus ID: 171304603
This article presents a literature review that justified the creation of the equally weighed and minimum variance Valor-Coppead…
Expand
2009
2009
A semantic method to prove strong normalization from weak normalization
Denis Cousineau
2009
Corpus ID: 18157536
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they…
Expand
Review
2009
Review
2009
Bibliography on worlds and modality
John Bacon
,
Keith Campbell
2009
Corpus ID: 15774000
ion is usually regarded as a property of certain objects--sets, numbers, propositions, properties, etc. this paper proposes that…
Expand
2005
2005
Adjetivos em –vel: Formação e Produtividade
Heloisa Salles
,
Maria Aparecida Curupaná da R. de Mello
2005
Corpus ID: 170959675
Neste trabalho propoe-se a formulacao de um criterio semântico em termos sintaticos para dar conta de formas adjetivais em -vel…
Expand
2002
2002
Conceptual Graph Theory Applied to Reasoning in Ontologies
D. Corbett
2002
Corpus ID: 5057396
This paper discusses automated reasoning over ontologies represented as Conceptual Graphs. We discuss a tool which has been…
Expand
2001
2001
Hierarchical data and the derivational relationship between words
Andrew Hippisley
,
M. Tariq
,
David Chang
2001
Corpus ID: 55860371
Databases that are currently being developed for repositories of digital linguistic information typically fall into the strictly…
Expand
1991
1991
Throughput lower bounds for Markovian Petri nets: transformation techniques
J. Campos
,
B. Sanchez
,
Manuel Silva
Proceedings of the Fourth International Workshop…
1991
Corpus ID: 14783977
Addresses the computation of lower bounds for the steady-state throughput of stochastic Petri nets with immediate and…
Expand
1981
1981
A Study of Uniform Commercial Code Methodology: Contract Modification Under Article Two
R. Hillman
1981
Corpus ID: 150523945
1977
1977
A sequent calculus for type assignment
J. Seldin
Journal of Symbolic Logic (JSL)
1977
Corpus ID: 31204152
The sequent calculus formulation (L-formulation) of the theory of functionality without the rules allowing for conversion of…
Expand