Title :
Automated Reasoning in Some Local Extensions of Ordered Structures
Author :
Sofronie-Stokkermans, Viorica ; Ihlemann, Carsten
Author_Institution :
Max-Planck-Inst. fur Inf., Saarbrucken
Abstract :
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or with monotonicity axioms). We show that such extensions are local and, hence, efficient methods for hierarchical reasoning exist in all these cases.
Keywords :
inference mechanisms; process algebra; automated reasoning; definitional extensions; hierarchical reasoning; local extensions; monotonicity axioms; ordered algebraic structures; Boolean algebra; Lattices; Logic functions; Polynomials; Testing;
Conference_Titel :
Multiple-Valued Logic, 2007. ISMVL 2007. 37th International Symposium on
Conference_Location :
Oslo
Print_ISBN :
0-7695-2831-7
DOI :
10.1109/ISMVL.2007.10
