Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

Search 250 million research papers

Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.

About 5,349 papers for “syntax rules”

Mirror Image Rules I: Syntax

Ronald W. Langacker · Language · 1969

The thesis of this paper is that a 'mirror image' convention should be incorporated into linguistic metatheory. This convention may be interpreted as a notational device; it serves to collapse rules that are significantly similar in that they are mirror images of one another, in a sense that can be made fairly precise. Part I gives a preliminary formulation of the convention and discusses syntactic evidence; Part II, to be published in Lg. 45:4, will deal with lexical and phonological evidence.

Cited by 33

On the Syntax of“Stylistic”Rules

Ono Koji, Kimura Norimi, Sano Masaki · Terrestrial Environment Research Center (University of Tsukuba) · 1983

departmental bulletin paper

Cited by 0Open access

LibGuides: SAS Tutorials: SAS Syntax Rules

Kristin Yeager · 2013

This guide contains written and illustrated tutorials for the statistical software SAS. This SAS software tutorial describes basic SAS syntax rules and two common components of SAS program: the data step and the proc step.

Cited by 0

Exercises in French syntax, with rules

Granville Sharp · Bulletin of Miscellaneous Information (Royal Gardens Kew) · 1884

Book digitized by Google from the library of Oxford University and uploaded to the Internet Archive by user tpb.

Cited by 0

A meta-logic of inference rules: Syntax

Alex Citkin · Logic and Logical Philosophy · 2015

This work was intended to be an attempt to introduce the meta-language for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions. The presence of rejected propositions, and especially the presence of the rule of reverse substitution, requires certain change the definition of structurality.

Cited by 2Open access

Multiple-conclusion rules, hypersequent syntax and step frames

Bezhanishvili, N., Ghilardi, S., Goré, R. et al. · UvA-DARE (University of Amsterdam) · 2014

We investigate proof theoretic properties of logical systems via algebraic methods. We introduce a calculus for deriving multiple-conclusion rules and show that it is a Hilbert style counterpart of hypersequent calculi. Using step-algebras we develop a criterion establishing the bounded proof property and finite model property for these systems. Finally, we show how this criterion can be applied to universal classes axiomatized by certain canonical rules, thus recovering and extending known results from both semantically and proof-theoretically inspired modal literature.

Cited by 0Open access

Syntax-based distance for multilevel multidimensional decision rules

Agnieszka Komorowska · PRZEGLĄD ELEKTROTECHNICZNY · 2015

Wydawnictwo SIGMA-NOT wydaje czasopisma fachowe informujące swoich czytelników o najnowszych osiągnięciach naukowych i nowoczesnych rozwiązaniach technicznych w Polsce i na świecie, popularyzuje problemy techniczne oraz poszerza wiedzę i kulturę techniczną.

Cited by 1