3658 search results - page 184 / 732 » The logic of proofs, semantically |
150
click to vote
SBIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The aim of this paper is to study a family of logics that approximates classical inference, in which every step in the approximation can be decided in polynomial time. Fo...
153
click to vote
ENTCS
2008
15 years 6 months ago
2008
Reynolds' view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in parti...
147
click to vote
LICS
2007
IEEE
16 years 26 days ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
188
click to vote
ACL
2011
14 years 10 months ago
2011
Compositional question answering begins by mapping questions to logical forms, but training a semantic parser to perform this mapping typically requires the costly annotation of t...
197
click to vote
ICFCA
2004
Springer
15 years 12 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...