A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Reasoning with Bounded Self-reference Using Logical Interpreters
2013
International Workshop on Description Logics
Preserved Fulltext
While reasoning in ALC plus self-reference is known to be undecidable, it has recently been shown that one can often safely restrict self-reference to at most two indirections (allowing the definition ...
The translation goes into ALCHIQ (without Boolean roles) and therefore can be used in combination with off-the-shelf reasoners for OWL. ...
The good computational behavior of ALCQme 2 does not transfer to other logics with bounded self-reference: already ALCme 3 has an undecidable satisfiability problem [3] . ...
dblp:conf/dlog/GorinSW13
fatcat:ei2g7kiihjazlkqaxw7ukz7jqq
Page 3063 of Mathematical Reviews Vol. , Issue 94f
[page]
1994
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
There is also formal linguistic self-reference of the kind used by Gédel, expressed with proof predicates and ignored by most math- ematicians. ...
The author recognizes two types of mathematical self-reference. There is the functorial self-reference of the recursion theorem. ...
A Logic for SDSI's Linked Local Name Spaces
[article]
2000
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
A complete axiomatization of the logic is also provided. ...
Abadi has introduced a logic to explicate the meaning of local names in SDSI, the Simple Distributed Security Infrastructure proposed by Rivest and Lampson. ...
Acknowledgments Work on this paper was done while the second author was with the School of Computing Sciences, University of Technology, Sydney. ...
arXiv:cs/0001026v1
fatcat:hk7cqwfe7bhidopijsbu6rwlzm
Extending ALCQ with Bounded Self-Reference
2012
Advances in Modal Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Self-reference has been recognized as a useful feature in description logics but is known to cause substantial problems with decidability. ...
We have shown in previous work that the basic description logic ALC remains decidable, and in fact retains its low complexity, when extended with a bounded form of self-reference where only one variable ...
Moreover, we acknowledge discussions with Erwin R. Catesbeiana on the merits of consistency. ...
dblp:conf/aiml/GorinS12
fatcat:g6tcmfif35e23gvzhosjrnhln4
Page 3139 of Mathematical Reviews Vol. , Issue 2000e
[page]
2000
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Several examples of such sentences show that a quantificational interpretation is sometimes more natural than a direct reference interpretation. ...
This paper argues against the commonly accepted direct refer- ence interpretation of “that” sentences. ...
Reflection mechanisms for combining prolog databases
1991
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Practical results presented in the paper show that logic programs that use reflection can be shorter, more readable and efficient than those using more conventional full meta-interpretation techniques. ...
The most widespread and straightforward technique for building systems based on meta-programming techniques in logic is to write a full (Prolog) meta-interpreter . 7, 8 Meta-interpreters explicitly reproduce ...
We would also like to thank the anonymous referees and the editor in chief for their pertinent remarks and suggestions, and for the help they gave us in improving this paper. ...
doi:10.1002/spe.4380210605
fatcat:bnfcjdnhh5arngn7xyhjbszhky
Kant, Hegel, and the Bounds of Thought
2002
Hegel Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
as rational self-knowledge. ...
I shall deal with each of these issues in turn. ...
We can identify this common assumption, if we follow the interpretative line originally proposed by Sadik Al-Azm who interprets the antinomies with reference to the Leibniz/Newton dispute set out in Leibniz's ...
doi:10.1017/s0263523200007904
fatcat:56mj4zs7rnahtd6welabk35esy
Understanding Agency Problems in Headquarters-Subsidiary Relationships in Multinational Corporations: A Contextualized Model
2016
Journal of Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Since they shape the way units interpret their discretion and use their delegated authority, such logic ultimately leads to self-serving opportunistic behaviors with little or no concern for corporate ...
The fourth scenario implies a logic of low self-interest coupled with low bounded rationality. ...
doi:10.1177/0149206316648383
fatcat:qckegpfe5zhfln6ax2oupmr2hu
Null Considered Harmful (for Transformation Verification)
2014
International Conference on Software Technologies: Applications and Foundations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
We define an alternative technique for using OCL with UML and model transformations which avoids the use of null and undefined values, and we present verification techniques for a transformation language ...
In addition, these values complicate the logic of OCL and of transformation languages that use OCL, making it difficult to provide effective verification support for these languages. ...
This interpretation is consistent with the use of multiplicity bounds for other many-valued association ends, and is also already adopted in OCL in the case that collection operators are applied to the ...
dblp:conf/staf/Lano14
fatcat:eugichdanbbvvanvzfctcy2nm4
The Logic of Soku in the Kyoto School
2004
Philosophy East & West
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Sections 2.3 and 3.1, with reference to section 1, are meant to exhibit the usefulness of SL in this regard. ...
SL could also be used to formalize and clarify arguments given with the logic of soku, although this has not been attempted here; and it could be used to develop further criticisms of the logic generally ...
doi:10.1353/pew.2004.0017
fatcat:d4usxyb75rfsjfa4xlf5tghwyq
Page 6421 of Mathematical Reviews Vol. , Issue 96k
[page]
1996
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The author points out the pattern that relates the fixed point theorem in lambda calculus to recursive forms, self-reference and Gédel’s incompleteness theorem. ...
This leads to a stronger theorem with the same bounded tableau search as its computational content. ...
Page 489 of American Mathematical Society. Bulletin of the American Mathematical Society Vol. 44, Issue 7
[page]
1938
American Mathematical Society. Bulletin of the American Mathematical Society
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Let H be a bounded self-adjoint opera- tor of the Hilbert space. ...
Lengyel: Bounded self-adjoint operators and the problem of moments.
In this paper, a connection is established between the theory of moments and the theory of bounded self-adjoint operators. ...
Metatheory and dialetheism
2020
Logical Investigations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
One of the attractions of a dialetheic approach to the paradoxes of self-reference is that this move may be avoided. ...
The contradictions delivered by these notions are forthcoming, but they are quarantined by the use of a paraconsistent logic. ...
By standard techniques of self-reference, we can construct a sentence, D, of the form V ( D , ⊥ ), where ⊥ is a logical constant such that, in LP , ⊥ |= A, for any A. ...
doi:10.21146/2074-1472-2020-26-1-48-59
fatcat:ntjbrgmdjjbzvo6ban64uprr6m
Page 352 of Interpretation Vol. 13, Issue 3
[page]
1959
Interpretation
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
But natural theology can hardly deal with the Incarnation, and therefore it can hardly begin to deal with the self which so many discover through introspection: not the self who feels himself bound by ...
Thus one is left with the uneasy feeling that even though Campbell may be right in his logic, he is not contributing a great deal to our theological or philo- sophical understanding at the present time ...
On empathic and logophoric binding
2006
Research on Language and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
On interpretation (i) of (24a,b), migigawa is interpreted as bound to an I.F.O.R. whose reference object is Taro; on interpretation (ii), in contrast, it is bound to a R.F.O.R. which has the speaker as ...
(Pollard and Sag 1992:274) For this reason, they have been often referred to as "logophoric". ...
doi:10.1007/s11168-006-9020-0
fatcat:5fcwr44utvbt5bj7ueacdagzda
« Previous
Showing results 1 — 15 out of 216,110 results