3624 search results - page 270 / 725 » Abstract Algebraic Logic |
207
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...
166
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...
212
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
145
click to vote
CSL
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting...
167
click to vote
EUROGP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...