Add to ORKGSemiring neighbours : an algebraic embedding and extension of neighbourhood logic. - In: Computing science reports. 2005. 29. S. 6-1
International audienceIn this article we discuss two alternative proposals for neighbourhood semanti...
This article proposes the formalization of some examples of semiring of sets proposed by Goguadze [8...
Abstract. Algebraic logic compacts many small steps of general logical derivation into large steps o...
We present an algebraic embedding of Neighbourhood Logic (NL) into the framework of semirings which ...
AbstractIn 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL...
We extend an earlier algebraic approach to Neighbourhood Logic (NL) from domain semirings to lazy se...
We extend an earlier algebraic approach to Neighbourhood Logic (NL) from domain semirings to lazy se...
AbstractWe present an algebraic embedding of Neighbourhood Logic (NL) into the framework of semiring...
In 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL) for sp...
In 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL) for sp...
AbstractIn this paper, we start the study of polymodal neighbourhood languages. We provide a complet...
In this paper, we start the study of polymodal neighbourhood languages. We provide a completeness re...
The logic TK was introduced as a propositional logic extending the classical propositional calculus ...
The logic TK was introduced as a propositional logic extending the classical propositional calculus ...
This paper presents a completeness result for a first-order interval temporal logic, called Neighbou...
International audienceIn this article we discuss two alternative proposals for neighbourhood semanti...
This article proposes the formalization of some examples of semiring of sets proposed by Goguadze [8...
Abstract. Algebraic logic compacts many small steps of general logical derivation into large steps o...
We present an algebraic embedding of Neighbourhood Logic (NL) into the framework of semirings which ...
AbstractIn 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL...
We extend an earlier algebraic approach to Neighbourhood Logic (NL) from domain semirings to lazy se...
We extend an earlier algebraic approach to Neighbourhood Logic (NL) from domain semirings to lazy se...
AbstractWe present an algebraic embedding of Neighbourhood Logic (NL) into the framework of semiring...
In 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL) for sp...
In 1996 Zhou and Hansen proposed a first-order interval logic called Neighbourhood Logic (NL) for sp...
AbstractIn this paper, we start the study of polymodal neighbourhood languages. We provide a complet...
In this paper, we start the study of polymodal neighbourhood languages. We provide a completeness re...
The logic TK was introduced as a propositional logic extending the classical propositional calculus ...
The logic TK was introduced as a propositional logic extending the classical propositional calculus ...
This paper presents a completeness result for a first-order interval temporal logic, called Neighbou...
International audienceIn this article we discuss two alternative proposals for neighbourhood semanti...
This article proposes the formalization of some examples of semiring of sets proposed by Goguadze [8...
Abstract. Algebraic logic compacts many small steps of general logical derivation into large steps o...