Add to ORKGWe introduce and study a class of betweenness algebras-Boolean algebras with binary operators, closely related to ternary frames with a betweenness relation. From various axioms for betweenness, we chose those that are most common, which makes our work applicable to a wide range of betweenness structures studied in the literature. On the algebraic side, we work with two operators of possibility and of suffciency.Comment: 26 pages, 2 figure
This thesis looks at algebras with positive primitively defined binary relations that are almost re-...
This work concerns algebraic models of fuzzy and many-valued propositional logics, in particular Boo...
Abstract: Since all the algebras connected to logic have, more or less explicitely, an associated or...
AbstractFollowing the theory of Boolean algebras with modal (normal and additive) operators (BAO), i...
summary:In this paper we introduce the class of Boolean algebras with an operator between the algebr...
In earlier work (LICS 2016), the authors introduced two-variable first-order logic supplemented by a...
This thesis discusses the topic of Boolean algebras. In order to build intuitive understanding of th...
We study computably enumerable boolean algebras, focusing on Stone duality and universality phenomen...
International audienceThis paper studies the concepts of definability and canonicity in Boolean logi...
A road system is a collection of subsets of a set—the roads—such that every singleton subset is a ro...
We consider all 16 unary operations that, given a homogeneous binary relation R, define a new one by...
RePEc Working Paper Series No. 02/2007Boundary algebra [BA] is a simpler notation for Spencer-Brown’...
In this new text, Steven Givant—the author of several acclaimed books, including works co-authored w...
Since all the algebras connected to logic have, more or less explicitely, an associated order relati...
Structures based on polarities have been used to provide relational semantics for propositional logi...
This thesis looks at algebras with positive primitively defined binary relations that are almost re-...
This work concerns algebraic models of fuzzy and many-valued propositional logics, in particular Boo...
Abstract: Since all the algebras connected to logic have, more or less explicitely, an associated or...
AbstractFollowing the theory of Boolean algebras with modal (normal and additive) operators (BAO), i...
summary:In this paper we introduce the class of Boolean algebras with an operator between the algebr...
In earlier work (LICS 2016), the authors introduced two-variable first-order logic supplemented by a...
This thesis discusses the topic of Boolean algebras. In order to build intuitive understanding of th...
We study computably enumerable boolean algebras, focusing on Stone duality and universality phenomen...
International audienceThis paper studies the concepts of definability and canonicity in Boolean logi...
A road system is a collection of subsets of a set—the roads—such that every singleton subset is a ro...
We consider all 16 unary operations that, given a homogeneous binary relation R, define a new one by...
RePEc Working Paper Series No. 02/2007Boundary algebra [BA] is a simpler notation for Spencer-Brown’...
In this new text, Steven Givant—the author of several acclaimed books, including works co-authored w...
Since all the algebras connected to logic have, more or less explicitely, an associated order relati...
Structures based on polarities have been used to provide relational semantics for propositional logi...
This thesis looks at algebras with positive primitively defined binary relations that are almost re-...
This work concerns algebraic models of fuzzy and many-valued propositional logics, in particular Boo...
Abstract: Since all the algebras connected to logic have, more or less explicitely, an associated or...