3658 search results - page 115 / 732 » The logic of proofs, semantically |
105
Voted
CLIMA
2010
15 years 2 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
LOGCOM
2006
15 years 29 days ago
2006
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate propertie...
121
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
102
Voted
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
In this paper by considering an answer set programming approach and some basic ideas from possibilistic logic, we introduce a possibilistic disjunctive logic programming approach t...
RULEML
2004
Springer
15 years 6 months ago
2004
Springer