Filters








719,459 Hits in 10.1 sec

Names, Equations, Relations: Practical Ways to Reason about 'new'

Ian Stark
1996 BRICS Report Series  
<br /> <br />This paper introduces a logic of equations and relations which allows one to reason about expressions of the nu-calculus: this uses a simple representation of the private and public scope  ...  Originally motivated by the study of references in Standard ML, the nu-calculus has connections to other kinds of local declaration, and to the mobile processes of the pi-calculus.  ...  Thus relational reasoning provides a further practical method for reasoning about contextual equivalence.  ... 
doi:10.7146/brics.v3i31.21675 fatcat:3nrhrceb2jb5fanfw5u5rqk4wq

Names, equations, relations: Practical ways to reason about new [chapter]

Ian Stark
1997 Lecture Notes in Computer Science  
This paper introduces a logic of equations and relations which allows one to reason about expressions of the nu-calculus: this uses a simple representation of the private and public scope of names, and  ...  Originally motivated by the study of references in Standard ML, the nu-calculus has connections to local declarations in general; to the mobile processes of the π-calculus; and to security protocols in  ...  Thus relational reasoning provides a further practical method for reasoning about contextual equivalence.  ... 
doi:10.1007/3-540-62688-3_45 fatcat:5pjxb5doojb5njmzrnglppptqe

Names, Equations, Relations: Practical Ways to Reason about new

Ian Stark
1997 BRICS Report Series  
<br /> This paper introduces a logic of equations and relations which allows one to<br />reason about expressions of the nu-calculus: this uses a simple representation of the private and public scope of  ...  Originally motivated by the study of references in Standard ML, the nu-calculus<br />has connections to local declarations in general; to the mobile processes of the pi-calculus; and to security protocols  ...  Thus relational reasoning provides a further practical method for reasoning about contextual equivalence.  ... 
doi:10.7146/brics.v4i39.18965 fatcat:7pwfi6oxwffnxcq6hrwu6jhpjm

Equational axiomatization of call-by-name delimited control

Yukiyoshi Kameyama, Asami Tanaka
2010 Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10  
In particular, we give a set of direct-style equations as axioms for them, and prove that it is sound and complete with respect to the CPS translation by Biernacka and Biernacki.  ...  In this paper, we study semantic foundation of the call-by-name variant of the delimited-control operators "shift" and "reset".  ...  Acknowledgments We would like to thank Olivier Danvy, Masahito Hasegawa and Oleg Kiselyov for insightful comments.  ... 
doi:10.1145/1836089.1836100 dblp:conf/ppdp/KameyamaT10 fatcat:nxoi2vib2fgcvlc3g6hmhabkhe

Nominal (Universal) Algebra: Equational Logic with Names and Binding

M. J. Gabbay, A. Mathijssen
2009 Journal of Logic and Computation  
In informal mathematical discourse (such as the text of a paper on theoretical computer science) we often reason about equalities involving binding of object-variables.  ...  We use nominal techniques that allow for a direct formalisation of meta-level assertions, while remaining close to informal practice.  ...  Of course, one way to obtain these results cheaply might be via a translation to nominal algebra based on the development in Subsection 5.2.  ... 
doi:10.1093/logcom/exp033 fatcat:r3baopstzzdelcm3ieus2itvoe

Nominal Lawvere Theories: A category theoretic account of equational theories with names

Ranald Clouston
2014 Journal of computer and system sciences (Print)  
It is not clear how this work would proceed under any other model of names. Nominal Equational Logic How, then, do we use the nominal sets model to reason about equations modulo freshness?  ...  Nominal Equational Logic (NEL) is a logic for reasoning about equations in the presence of freshness side conditions.  ...  Introduction Names in Computing When we reason about programming languages, logics, process calculi and various other computational applications, we very frequently encounter names, also known as object-level  ... 
doi:10.1016/j.jcss.2014.04.002 fatcat:62xbj3kqm5cz5oq7nnkobntztq

Relations between units and relations between quantities [chapter]

Susan G. Sterrett
2019 The Reform of the International System of Units (SI)  
I argue for an appreciation of the role of dimensions in understanding issues related to systems of units.  ...  The proposed revision to the International System of Units contains two features that are bound to be of special interest to those concerned with foundational questions in philosophy of science.  ...  Acknowledgments Thanks to Nadine de Courtenay for discussion, and to two anonymous reviewers for comments on an earlier version of this paper.  ... 
doi:10.4324/9781351048989-6 fatcat:viu2xia7izho5gzv4kmniyxx4u

XI. The relation between mathematics and physics

P A M Dirac
2003 Resonance  
There is no logical reason why the second method should be possible at all, but one has found in practice that it does work and meets with reasonable success.  ...  For example, rough experiments about the relation between the pressure and volume of a gas at a fixed temperature give results fitting in with a law of inverse proportionality, but it would be wrong to  ...  There is no logical reason why the second method should be possible at all, but one has found in practice that it does work and meets with reasonable success.  ... 
doi:10.1007/bf02866764 fatcat:d42vvevkdjf63ld4lsukv4medq

A relational account of intellectual autonomy

Benjamin Elzinga
2018 Canadian Journal of Philosophy  
According to relational views of autonomy, some social relations or forms of dependence are necessary for autonomous agency.  ...  Recent relational theorists have primarily focused on autonomy of action or practical autonomy, and the result has been a shift away from individualistic conceptions of autonomy in the practical realm.  ...  Acknowledgments I would like to thank Trip Glazer, Colin Hickey, Katherine Ward, Nabina Liebow and Molly Wilder for their encouragement and comments on earlier drafts of this project.  ... 
doi:10.1080/00455091.2018.1533369 fatcat:xa2lc3o4ynbp5ofalizo3btxry

Investor Relations [chapter]

2015 Reputation Management  
Organized by corporate communication units including media relations, employee communication, government relations, and investor relations, the book provides a field-tested guide to corporate reputation  ...  problems such as leaked memos, unfair treatment by the press, and negative rumors, and focuses on practical solutions.  ...  It is not important to try to assign numbers to the factors in the following equation.  ... 
doi:10.4324/9781315879987-16 fatcat:5lnvfnzpjfgvfkxr4ikejlobhy

On the calculus of relations

Alfred Tarski
1941 Journal of Symbolic Logic (JSL)  
The first beginnings of the contemporary theory of relations are to be found in the writings of A.  ...  In his effort to break the bonds of traditional logic and to expand the limits of logical inquiry, he directed his attention to the general concept of relations and fully recognized its significance.  ...  For this purpose we should have to put all our axioms into the form of equations, and to give rules which would permit us to derive new equations from given ones.  ... 
doi:10.2307/2268577 fatcat:l47j7qycsva35otds3d6dgrrnu

Causal Relations via Econometrics

Asad Zaman
2009 Social Science Research Network  
Understanding economic affairs, making good policy decisions, and progress in the economic discipline depend on our ability to infer causal relations from data.  ...  We review the dominant approaches to causality in econometrics, and suggest why they fail to give good results.  ...  Magnus (1999) writes about econometric tests of economic theories that "we invited readers to name a published paper that … significantly changed the way economists think about some economic proposition  ... 
doi:10.2139/ssrn.1374208 fatcat:356ugq2mcnhtdguhpdbirvrfzy

Problems relating to Aircraft

Mervyn O'Gorman
1910 Proceedings of the Institution of Automobile Engineers  
-It is well to remark that the airman of to-day not only wants these data about wind direction] but in addition asks questions which are couched in language which would have been curious to the meteorologist  ...  We know that dry air is on the one hand transparent to, and is practically unwarmed by, the sun's direct rays, and that these rays fall on the patches of coloured and shaded surface of the ground, and  ...  -Recently a new research instrument has been enlisted, namely, wireless telegraphy.  ... 
doi:10.1243/piae_proc_1910_005_015_02 fatcat:lgaemh4tvjbgnjh3sbwefduhye

Dependence relations in general relativity

Antonio Vassallo
2019 European Journal for Philosophy of Science  
Instead, a non-standard analytical framework in terms of structural equation modeling is exploited, which leads to the conclusion that the kind of dependence encoded in the Einstein field equations is  ...  The paper discusses from a metaphysical standpoint the nature of the dependence relation underpinning the talk of mutual action between material and spatiotemporal structures in general relativity.  ...  Acknowledgements: Many thanks to Carl Hoefer, Vassilis Livanios, Al Wilson, and two anonymous referees for their comments on earlier drafts of this paper.  ... 
doi:10.1007/s13194-019-0265-5 fatcat:bt72fcwx6ng2rcx35vwkxaq7um

Models as Relational Categories

Tommi Kokkonen
2017 Science & Education  
It has been found to enhance conceptual understanding and provide a way for engaging students in authentic scientific activity.  ...  Furthermore, the ways in which the expert-like knowledge develops and how to best support it is in need of more research.  ...  the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s11191-017-9928-9 fatcat:vooaedbtafesrj6rkqknhgunpi
« Previous Showing results 1 — 15 out of 719,459 results