1814 search results - page 211 / 363 » Extended First-Order Logic |
101
click to vote
NDJFL
2002
15 years 3 months ago
2002
This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...
125
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We develop and analyze clause elimination procedures, a specific family of simplification techniques for conjunctive normal form (CNF) formulas. Extending known procedu...
128
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
140
click to vote
APAL
2010
15 years 2 months ago
2010
The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Lukasiewicz infinite-valued logic [CDM99], [MMM07...
154
click to vote
CONCUR
1992
Springer
15 years 8 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...