Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,774 papers from all fields of science
Search
Sign In
Create Free Account
Syntax (logic)
Known as:
Logical syntax
, Syntax (disambiguation)
, Syntax (formal languages)
In logic, syntax is anything having to do with formal languages or formal systems without regard to any interpretation or meaning given to them…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
C++ classes
Computer science
De Bruijn notation
Description logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Declarative Rules for Annotated Expert Knowledge in Change Management
Dietmar Seipel
,
Rüdiger von der Weth
,
Salvador Abreu
,
Falco Nogatz
,
Alexander Werner
Slate
2016
Corpus ID: 18743222
In this paper, we use declarative and domain-specific languages for representing expert knowledge in the field of change…
Expand
2010
2010
Compounding in Korean
Weon-don Jeong
2010
Corpus ID: 60966852
This paper deals with compounding in Korean. Compounds are regarded as the combinations of words. In Korean, however, a root or a…
Expand
2009
2009
Fault Predictions in Object Oriented Software
R. Bremananth
,
R. Thushara
arXiv.org
2009
Corpus ID: 22429024
Abstract — The dynamic software development organizations optimize the usage of resources to deliver the products in the…
Expand
2008
2008
All about language
B. Blake
2008
Corpus ID: 60128065
PART ONE: WORDS PART TWO: SYNTAX AND DISCOURSE PART THREE: SPEECH AND WRITING PART FOUR: VARIATION AND CHANGE PART FIVE: THE…
Expand
2001
2001
Logical syntax in the tractatus
Ian Proops
2001
Corpus ID: 116060592
In the view of the Tractatus ‘The rules of logical syntax must go without saying if we only know how each individual sign…
Expand
1999
1999
Structured Derivations: A Method for Doing High-School Mathematics Carefully
R. Back
,
Joakim Wright von
1999
Corpus ID: 15039575
We show how solutions to typical problems of High School and first-year University Mathematics can be written using structured…
Expand
1997
1997
Automatic assignment of part-of-speech to out-of-vocabulary words for text-to-speech processing
Frédéric Béchet
,
M. El-Bèze
EUROSPEECH
1997
Corpus ID: 2993815
Working with large corpora of text highlights the need for the special treatment of Out-Of-Vocabulary (OOV) words. This paper…
Expand
1996
1996
Ranking arithmetic proofs by implicit ramification
S. Bellantoni
Proof Complexity and Feasible Arithmetics
1996
Corpus ID: 16518675
Proofs in an arithmetic system are ranked according to a ramification hierarchy based on occurrences of induction. It is shown…
Expand
1994
1994
A three-dimensional approach to the gender/sex of nouns in Biblical Hebrew
Jan Hendrik Kroeze
1994
Corpus ID: 144688404
The phenomenon of the gender/sex of nouns is normally handled two-dimensionally. Two levels are distinguished: (grammatical…
Expand
1963
1963
Syntactic dependence and the computer generation of coherent discourse
Sheldon Klein
,
R. F. Simmons
Mechanical Translation and Computational…
1963
Corpus ID: 1338336
An experiment in the computer generation of coherent discourse was successfully conducted to test a hypothesis about the…
Expand