Sciweavers

3658 search results - page 115 / 732
» The logic of proofs, semantically
Sort
View
CLIMA
2010
14 years 6 days ago
Combining Logics in Simple Type Theory
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...
Christoph Benzmüller
LOGCOM
2006
105views more  LOGCOM 2006»
13 years 10 months ago
A Hybrid Intuitionistic Logic: Semantics and Decidability
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...
Rohit Chadha, Damiano Macedonio, Vladimiro Sassone
CORR
2010
Springer
174views Education» more  CORR 2010»
13 years 10 months ago
Cut Elimination for a Logic with Induction and Co-induction
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...
Alwen Tiu, Alberto Momigliano
LPNMR
2007
Springer
14 years 4 months ago
Semantics for Possibilistic Disjunctive Programs
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...
Juan Carlos Nieves, Mauricio Osorio, Ulises Cort&e...
RULEML
2004
Springer
14 years 4 months ago
Well-Founded Semantics for Description Logic Programs in the Semantic Web
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...