3047 search results - page 18 / 610 » On the Meaning of Logical Completeness |
GPB
2008
13 years 8 months ago
2008
WOLLIC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
Abstract--Resonant tunneling diodes (RTDs) have demonstrated promising circuit characteristics of high speed switching property and versatile functionality with negative differenti...
CASCON
2006
13 years 9 months ago
2006
Many software engineers complete their educa
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
14 years 2 months ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...