3624 search results - page 114 / 725 » Abstract Algebraic Logic |
186
Voted
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
161
Voted
ICFCA
2004
Springer
15 years 10 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
158
Voted
IFIPTCS
2010
15 years 2 months ago
2010
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...
152
click to vote
SYNASC
2008
IEEE
15 years 11 months ago
2008
IEEE
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...
129
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...