3658 search results - page 162 / 732 » The logic of proofs, semantically |
133
click to vote
ACL
2007
15 years 2 months ago
2007
This paper presents the first empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...
96
Voted
TABLEAUX
1999
Springer
15 years 5 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
100
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
144
click to vote
MKM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
APAL
2008
15 years 26 days ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...