Results 261 to 270 of about 2,643,984 (289)

Axiomatizability of algebras of binary relations

2007
We present an overview of the axiomatizability problem of algebras of binary relations. The focus will be on the finite and non-finite axiomatizability of several fragments of Tarski’s class of representable relation algebras. We examine the step-by-step method for establishing finite axiomatizability and ultraproduct constructions for establishing non-
openaire   +1 more source

Rough approximations based on soft binary relations and knowledge bases

Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2016
Zhaowen Li, Ningxin Xie, Ninghua Gao
semanticscholar   +1 more source

A Decision Procedure for Sets, Binary Relations and Partial Functions

International Conference on Computer Aided Verification, 2016
M. Cristiá, G. Rossi
semanticscholar   +1 more source

Intervals of Binary Relations

Mathematical Logic Quarterly, 1979
openaire   +2 more sources

Fuzzy Decision Procedures With Binary Relations Towards A Unified Theory

, 2016
Franziska Frankfurter
semanticscholar   +1 more source

Semigroups of Relatively Continuous Binary Relations and Their Isomorphisms

Mathematical Notes, 2023
Evgenii Vechtomov, Vechtomov E M
exaly  

Generating Sets of the Complete Semigroup of Binary Relations Defined by Semilattices of the Class Σ1(X, 6)

Journal of Mathematical Sciences, 2023
Ya Diasamidze
exaly  

Generating Sets of the Complete Semigroup of Binary Relations Defined by Semilattices of the Class Σ4(X, 4)

Journal of Mathematical Sciences, 2023
Ya Diasamidze
exaly  

(≤k)-reconstructible Binary Relations

European journal of combinatorics (Print), 2014
Y. Boudabbous, C. Delhommé
semanticscholar   +1 more source

REPRESENTATIONS OF ORDERED DIMONOIDS BY BINARY RELATIONS

, 2014
Yuriy V. Zhuchok
semanticscholar   +1 more source