Results 1  10
of
342,029
ProofTheoretic Contributions to Explicit Mathematics
, 2001
"... this paper. Recently, we have done a first step in this direction and shown that indeed the provably total type two functionals of PT coincide with the basic feasible functionals of type two, and we conjecture that this result holds at all higher types. The proof that a provably total type two fun ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
this paper. Recently, we have done a first step in this direction and shown that indeed the provably total type two functionals of PT coincide with the basic feasible functionals of type two, and we conjecture that this result holds at all higher types. The proof that a provably total type two
AgentSpeak(L): BDI Agents speak out in a logical computable language
, 1996
"... BeliefDesireIntention (BDI) agents have been investigated by many researchers from both a theoretical specification perspective and a practical design perspective. However, there still remains a large gap between theory and practice. The main reason for this has been the complexity of theoremprov ..."
Abstract

Cited by 509 (2 self)
 Add to MetaCart
proving or modelchecking in these expressive specification logics. Hence, the implemented BDI systems have tended to use the three major attitudes as data structures, rather than as modal operators. In this paper, we provide an alternative formalization of BDI agents by providing an operational and prooftheoretic
ProofTheoretic Reconstruction of Generalized Quantifiers
"... The article presents a prooftheoretic semantic (PTS) analysis of determiners. Its main contribution is the introduction of a prooftheoretical substitute for nounphrase and determiner meanings, thereby replacing the traditional modeltheoretical appeal to generalized quantifiers, and proving conse ..."
Abstract
 Add to MetaCart
The article presents a prooftheoretic semantic (PTS) analysis of determiners. Its main contribution is the introduction of a prooftheoretical substitute for nounphrase and determiner meanings, thereby replacing the traditional modeltheoretical appeal to generalized quantifiers, and proving
Validity concepts in prooftheoretic semantics
 ProofTheoretic Semantics. Special issue of Synthese
"... Abstract. The standard approach to what I call “prooftheoretic semantics”, which is mainly due to Dummett and Prawitz, attempts to give a semantics of proofs by defining what counts as a valid proof. After a discussion of the general aims of prooftheoretic semantics, this paper investigates in det ..."
Abstract

Cited by 9 (4 self)
 Add to MetaCart
Abstract. The standard approach to what I call “prooftheoretic semantics”, which is mainly due to Dummett and Prawitz, attempts to give a semantics of proofs by defining what counts as a valid proof. After a discussion of the general aims of prooftheoretic semantics, this paper investigates
A ProofTheoretic Approach to Knowledge
, 1999
"... We speculate on logical aspects of the socalled three wise men puzzle with prooftheoretic methods. We propose and study the following. (1) Logical ability of each player of a puzzle is equivalent to a logical system KL, which is based on classical propositional calculus augmented with inferences ..."
Abstract
 Add to MetaCart
We speculate on logical aspects of the socalled three wise men puzzle with prooftheoretic methods. We propose and study the following. (1) Logical ability of each player of a puzzle is equivalent to a logical system KL, which is based on classical propositional calculus augmented with inferences
The Semantics of Predicate Logic as a Programming Language
 Journal of the ACM
, 1976
"... ABSTRACT Sentences in firstorder predicate logic can be usefully interpreted as programs In this paper the operational and fixpomt semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated It is concluded that operational ..."
Abstract

Cited by 810 (18 self)
 Add to MetaCart
that operational semantics is a part of proof theory and that fixpolnt semantics is a special case of modeltheoret:c semantics KEY WORDS AND PHRASES predicate logic as a programming language, semantics of programming languages, resolution theorem proving, operaUonal versus denotatlonal semantics, SL
On the Private Provision of Public Goods
 Journal of Public Economics
, 1986
"... We consider a general model of the noncooperative provision of a public good. Under very weak assumptions there will always exist a unique Nash equilibrium in our model. A small redistribution of wealth among the contributing consumers will not change the equilibrium amount of the public good. Howe ..."
Abstract

Cited by 546 (8 self)
 Add to MetaCart
We consider a general model of the noncooperative provision of a public good. Under very weak assumptions there will always exist a unique Nash equilibrium in our model. A small redistribution of wealth among the contributing consumers will not change the equilibrium amount of the public good
Fairness and Retaliation: The Economics of Reciprocity
 JOURNAL OF ECONOMIC PERSPECTIVES
, 2000
"... This paper shows that reciprocity has powerful implications for many economic domains. It is an important determinant in the enforcement of contracts and social norms and enhances the possibilities of collective action greatly. Reciprocity may render the provision of explicit incentive inefficient b ..."
Abstract

Cited by 553 (12 self)
 Add to MetaCart
because the incentives may crowd out voluntary cooperation. It strongly limits the effects of competition in markets with incomplete contracts and gives rise to noncompetitive wage differences. Finally, reciprocity it is also a strong force contributing to the existence of incomplete contracts.
The Semantics Of Constraint Logic Programs
 JOURNAL OF LOGIC PROGRAMMING
, 1996
"... This paper presents for the first time the semantic foundations of CLP in a selfcontained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic constructs from first principles, giving new and comp ..."
Abstract

Cited by 872 (14 self)
 Add to MetaCart
This paper presents for the first time the semantic foundations of CLP in a selfcontained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic constructs from first principles, giving new
Results 1  10
of
342,029