2303 search results - page 127 / 461 » On the logic of argumentation theory |
203
click to vote
PODS
2008
ACM
16 years 6 months ago
2008
ACM
A schema mapping is a high-level specification that describes the relationship between two database schemas. As schema mappings constitute the essential building blocks of data ex...
111
click to vote
APAL
2010
15 years 6 months ago
2010
In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi ...
152
click to vote
JAR
2007
15 years 6 months ago
2007
ACL2(r) is a modified version of the theorem prover ACL2 that adds support for the irrational numbers using non-standard analysis. It has been used to prove basic theorems of anal...
171
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
153
click to vote
ISMVL
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...