2015
DOI: 10.1002/malq.201400019
|View full text |Cite
|
Sign up to set email alerts
|

Model companions of theories of graphs

Abstract: We study model companions of theories extending the graph axioms. First we prove general results concerning the existence of the model companion. Then, by applying these results to the case of graphs, we give a series of companionable and non-companionable examples.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2017
2017
2019
2019

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 6 publications
0
1
0
Order By: Relevance
“…These diagnosis strategies are mostly based on a certain fault diagnostic models, such as directed causality graph, fault tree model, Petri net model, Markov model, neural network model and Bayesian network. Graph theory is widely used because it is simple to model and easy to understand (Takeuchi et al 2015;Manes et al 2012;Yu et al 2003;Bhattacharyya et al 2011;Sheng et al 2015;Zhao et al 2016). But because of the fault location based on the incidence, or even consider the degree of fault severity and the degree of difficulty in detection, but also rely on the subjective experience of experts.…”
Section: Introductionmentioning
confidence: 99%
“…These diagnosis strategies are mostly based on a certain fault diagnostic models, such as directed causality graph, fault tree model, Petri net model, Markov model, neural network model and Bayesian network. Graph theory is widely used because it is simple to model and easy to understand (Takeuchi et al 2015;Manes et al 2012;Yu et al 2003;Bhattacharyya et al 2011;Sheng et al 2015;Zhao et al 2016). But because of the fault location based on the incidence, or even consider the degree of fault severity and the degree of difficulty in detection, but also rely on the subjective experience of experts.…”
Section: Introductionmentioning
confidence: 99%