Filters








24,612 Hits in 3.9 sec

Transitivity in Natural Syntax: Accusative Languages

Janez Orešnik
2009 Poznan Studies in Contemporary Linguistics  
Natural Syntax is a developing deductive theory.  ...  The predictions of the theory are calculated in what are known as deductions, the chief components of each being a pair of naturalness scales and the rules governing the alignment of corresponding naturalness  ...  The two variants: the verbal forms segit and meg-segit. -The deduction proceeds in the unnatural environment "transitivity". 1. The assumptions of Natural Syntax: 1.1.  ... 
doi:10.2478/v10010-009-0023-5 fatcat:qr262tgwuvanjjdbwyb5y7hpw4

Natural Syntax: English Relative Clauses1

Janez Orešnik
2008 Poznan Studies in Contemporary Linguistics  
Natural Syntax is a developing deductive theory, a branch of Naturalness Theory.  ...  An example of a deduction: English.  ...  Any process is natural; only movement requires special comment. Given a construction, movement of a unit to the left is more natural for the speaker than movement of a unit to the right.  ... 
doi:10.2478/v10010-008-0004-0 fatcat:ramj2hlus5g5xaxwepe4rccfcq

Thin Capitalisation Rules: A Second-Best Solution to the Cross-Border Debt Bias?

Ann Kayis-Kumar
2015 Social Science Research Network  
One of the most significant trends in the evolution of global tax systems has been the rise from relative obscurity of thin capitalisation rules, which are perceived as anti-avoidance rules which limit  ...  tax base erosion from cross-border interest deductions.  ...  Similarly, in the Italian context, the implementation of two ACE-variants, with one abolished following a change in government, within the past decade exemplifies the highly controversial nature of the  ... 
doi:10.2139/ssrn.2636645 fatcat:ub6x4hsr2rgczcywmncr3xg64y

Natural Syntax of Belfast English (I) Subject-Verb Agreement, (II) Imperative

Janez Orešnik
2009 Studia Anglica Posnaniensia  
Natural Syntax is a developing deductive theory.  ...  The predictions of the theory are calculated in what are known as deductions, the chief components of each being a pair of naturalness scales and the rules governing the alignment of corresponding naturalness  ...  The special trait of Natural Syntax is its insistence on comparing two variants (mostly variant constructions) in each deduction.  ... 
doi:10.2478/v10121-009-0018-1 fatcat:spzcssvxdjdqrmqb7idqbkgsuu

Deductive Systems and Coherence for Skew Prounital Closed Categories

Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
2021 Electronic Proceedings in Theoretical Computer Science  
and a natural deduction system corresponding to a variant of planar (= non-commutative linear) typed lambda-calculus.  ...  Normal natural deduction derivations (beta-eta-long forms) are in one-to-one correspondence with derivations in the focused sequent calculus.  ...  We thank the anonymous referees for extremely valuable comments. T.  ... 
doi:10.4204/eptcs.332.3 fatcat:34phwvmebbhircur5vmcztumoq

Standard French liaison and natural syntax

Janez Orešnik
2008 Linguistica  
Natural Syntax is a developing deductive theory, a branch of Naturalness theory.  ...  The predictions of the theory are calculated in what are known as deductions, whose chief components are a pair of naturalness scales and the rules governing the alignment of corresponding naturalness  ...  (f) the process criterion. any process is natural; only movement requires special comment.  ... 
doi:10.4312/linguistica.48.1.33-48 fatcat:ieorphx63bfzjlp72oekftx7pq

JSL volume 30 issue 4 Cover and Back matter

1965 Journal of Symbolic Logic (JSL)  
CLEAVER 113 Comments on a variant form of natural deduction. By WILLIAM TUTHILL PARRY 119 Analytic natural deduction. By RAYMOND M.  ...  Trial and error predicates and the solution to a problem of Mostowski. An algebraic study of Diodorean modal systems. By R. A. BULL . . 58 On the logic of incomplete answers. By M. J.  ... 
doi:10.1017/s0022481200055845 fatcat:bxhbwrkfrrfsdfmdd7lrvqzth4

Page 331 of Journal of Accountancy Vol. 86, Issue 4 [page]

1948 Journal of Accountancy  
under Item 2 on p. 1 of Form 1040.  ...  The statement will be quickly rec- ognized by a competent accountant as a variant of the conventional Statement of Sources and Application of Funds. See Boehm’s Statement on page 332.  ... 

Page 589 of Mathematical Reviews Vol. 50, Issue 3 [page]

1975 Mathematical Reviews  
The authors present the modal propositional calculus S4 as a system ofnatural deduction”. They also describe the behavior of several minor variants of the usual relational semantics for S4.  ...  The author provides natural deduction systems for the modal logics $1°-S4° and T° (roughly, S° is S without the thesis [)A > A).  ... 

La notion bolzanienne de déductibilité

Mark Siebel
2003 Philosophiques  
conceptions of consequence and (iii) examines the claims that it displays a strong similarity to Tarski's account and relevance logic.  ...  -The article (i) presents the concept of deducibility which Bolzano introduced in his Wissenschaftslehre, (ii) points out some of the characteristic features in virtue of which it differs from many modern  ...  On réalise souvent à partir du seul contexte la manière de l'interpréter. Mais on peut difficilement mesurer sa validité si on ne connaît pas la forme.  ... 
doi:10.7202/007738ar fatcat:ibw6u46r45ab5pq3lamkia2xn4

Page 478 of Political Studies Vol. 50, Issue 3 [page]

2002 Political Studies  
And, as just alluded to, the ahistorical nature of RC] is also a problem.  ...  One rationale for such an exercise is that a widely used variant of institutionalism the rational choice approach, largely dominates the literature on the politics olf central banking (see, for example  ... 

On the Relation Between Heyting's and Gentzen's Approaches to Meaning [chapter]

Dag Prawitz
2015 Advances in Proof-Theoretic Semantics  
One has its roots in Heyting's explanation of a mathematical proposition as the expression of the intention of a construction, and the other in Gentzen's ideas about how the rules of Natural Deduction  ...  It will be seen that for one variant, the existence of a valid argument can be proved to be extensionally equivalent to the existence of a BHK-proof, while for other variants, attempts at similar proofs  ...  I have commented on this difference elsewhere [20] , but then overlooked one important consequence of it, which is now taken up in footnote 14.  ... 
doi:10.1007/978-3-319-22686-6_2 fatcat:ueyerjbsorak5gojfldhyuyfie

Page 5301 of Mathematical Reviews Vol. , Issue 2000h [page]

2000 Mathematical Reviews  
This gives us a syntactic proof of normalization for a rich system of non-commutative natural deduction and its associated A-calculus.  ...  We show how normal natural deductions cor- respond to cut-free derivations, and arbitrary natural deductions to sequent derivations with cut.  ... 

Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)

Ryszard Wójcicki
2017 Bulletin of the Section of Logic  
by Hilbert arguing his formalist view on the nature of mathematics, (2) Freges idea of truth supported by mathematical intuition, and (3) known as Aristotelian correspondence idea of truth concerning  ...  Grzegorzowi, z serdecznymiżyczeniami i wyrazami wdziȩczności za wspieranie moich planów i dzia lań Abstract In this note I am reflecting on interrelations between three concepts of truth: (1) that employed  ...  The presented above views on the nature of mathematics needs some additional comments.  ... 
doi:10.18778/0138-0680.46.1.2.02 fatcat:m7tomvx6snf47o2rv753wema2a

The principle type-scheme of an object in combinatory logic

R. Hindley
1969 Transactions of the American Mathematical Society  
Thus I has not just one type, but a whole class of types.  ...  One of the aims of combinatory logic is to study the most basic properties of functions and other concepts, with as few restrictions as possible; hence in the simplest form of combinatory logic there is  ...  By Lemma 4(a), ß is a trivial variant of a, and hence suitable changes of the variables in the deduction of ßX will form a principal deduction of aX.  ... 
doi:10.1090/s0002-9947-1969-0253905-6 fatcat:a4a5o237znadzdjdni6ixhatqi
« Previous Showing results 1 — 15 out of 24,612 results