2540 search results - page 88 / 508 » Abstract Logics as Dialgebras |
184
click to vote
CSL
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
187
click to vote
IEEESCC
2005
IEEE
16 years 11 hour ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
178
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
193
click to vote
LANMR
2007
15 years 7 months ago
2007
Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic sema...
169
click to vote
TOCL
2008
15 years 6 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...