Search results

|title=Syntactic theories in practice |title=The Revised Report on the Syntactic Theories of Sequential Control and State ...

...ffort to provide [[linguistic description|adequate description]]s of the [[syntactic structure]] of [[language|natural language]]. ...atical linguistics]] had provided evidence against the hypothesis that the syntactic structure of natural language can be adequately described by [[context-free ...

{{Short description|Automatic analysis of syntactic structure of natural language}} ...ond computational grammar rules is needed to tell which parse is intended. Syntactic parsing is one of the important tasks in [[computational linguistics]] and ...

...of arguments) of a function symbol (see [[Signature]]) while typically in syntactic unification problems ...r one only if both terms differ just in their variable names, not in their syntactic structure; such terms are called ''variants'', or ''renamings'' of each oth ...

...title=Reference and Generality: An Examination of Some Medieval and Modern Theories|author=Peter Geach|date=1962|author-link=Peter Geach}}</ref><ref name = "an ...tification|existential]] rather than universal quantification. Second, the syntactic position of the donkey pronoun would not normally allow it to be [[binding ...

...avey|Idziak|Lampe|McNulty|2000|pp=145–172}} [[equational theory|equational theories]],{{sfn|Pöschel|1989|pp=273–282}} [[flatness (systems theory)|flatness]],{{ *{{Cite journal | title = Directed graphs and syntactic algebras of tree languages ...

...ir meaning by providing additional [[axiom]]s. The [[satisfiability modulo theories]] problem considers satisfiability of a formula with respect to a [[Theory ..., and valid if every formula is true in every interpretation. For example, theories of arithmetic such as [[Peano axioms|Peano arithmetic]] are satisfiable bec ...

...ef> They are of particular interest to linguists who wish to determine the syntactic structure of natural language; languages containing an arbitrary number of ...last1=Gazdar |first1=Gerald |title=Natural Language Parsing and Linguistic Theories |date=1988 |isbn=978-1-55608-056-2 |series=Studies in Linguistics and Philo ...

...Gupta (1982), Herzberger (1982), and Belnap (1982).</ref> In the revision theories of Gupta and Herzberger, revision is supposed to reflect [[logical intuitio ...veloped philosophical interpretations of revision theory in the context of theories of truth, but not in the general context of circular definitions.<ref>Yaqūb ...

...y|higher-categorical]] [[Model (mathematical logic)|models]] for such type theories; the use of type theory as a logic (or [[internal language]]) for abstract ...l universes model: an overlooked coherence construction for dependent type theories |journal=ACM Transactions on Computational Logic |volume=16 |issue=3 |pages ...

...s raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic ...and logical truth can themselves be specified in different ways: based on syntactic or semantic considerations.<ref name="Hintikka"/> ...

...1990s. The formal methodology also led to generalizations of mathematical theories in the family of [[t-norm fuzzy logics]].<ref>{{cite web| last=Garrido| fir ...irical facts are extremely (and unexpectedly) unfavorable. There can be no syntactic or semantic 'sieve' that will winnow out the 'bad' cases while preserving t ...

...in this way. Indeed whatever <math>A</math> looks like, any schema of the syntactic form <math>(A\to C)\to B</math> would be too strong: Considering any true p ...metic]], this unprovability allows for the axiomatization of non-classical theories. ...

...tandard modules containing common operators. They are distributed with the syntactic analyzer. The TLC model checker uses Java implementations for improved perf * The SANY syntactic analyzer, which parses and checks the spec for syntax errors. ...

...of an entity{{sfn|Lichtenberk|2008|p=919}} and ''aqi'' exhibits different syntactic behaviour when used in negative existential constructions. ...132|doi=10.1111/lnc3.12066}}</ref> which draws on evidence from linguistic theories beyond [[Linguistic typology|typology]], including [[Language acquisition|c ...

In some [[Mathematical theory|mathematical theories]], a single domain of discourse fixed in advance is assumed. For example, ...he relation between the two, which is usually expressed as a function from syntactic objects to semantic ones. This article only addresses the issue of how qua ...

...=265–268}} They normally have a very limited vocabulary and exact [[Syntax|syntactic rule]]s. These rules specify how their symbols can be combined to construct Propositional theories of premises and conclusions are often criticized because they rely on abstr ...

...ge=en}}</ref><ref>{{Citation |last=Lagerlund |first=Henrik |title=Medieval Theories of the Syllogism |date=2022 |encyclopedia=The Stanford Encyclopedia of Phil ...oman |url=https://books.google.com/books?id=OSl3EAAAQBAJ |title=Models and Theories: A Philosophical Inquiry |date=2022-06-28 |publisher=Taylor & Francis |isbn ...

...|algorithm|algorithms}}. The design of algorithms is part of many solution theories of [[operation research]], such as [[dynamic programming]] and [[Divide and ...editor-last6=Baba|editor-first6=Yasumasa}}</ref> It employs techniques and theories drawn from many fields within the context of mathematics, statistics, [[inf ...