A study of some ‘separated’ conditions on binary relations

DOI10.1111/J.1755-2567.1991.TB00538.XzbMATH Open0842.03009OpenAlexW2096871719MaRDI QIDQ4861489FDOQ4861489

Authors: I. L. Humberstone 

Publication date: 13 February 1996

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1991.tb00538.x

Recommendations

• On certain classes of semigroups of binary relations
• On certain comitants of semigroups of binary relations
• On the separation of two relations by a biorder or a semiorder
• Publication:4504806
• On binary continuity and binary separation axioms
• A general extension theorem for binary relations
• scientific article; zbMATH DE number 2014359
• scientific article; zbMATH DE number 4034013
• Binary relations: Finite characterizations and computational complexity
• Some notes on conservativeness of properties of binary relations

zbMATH Keywords

binary relationseparated relation properties

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other classical set theory (including functions, relations, and set algebra) (03E20)

Cited In (4)

• An intriguing logic with two implicational connectives
• Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
• Supervenience, dependence, disjunction
• The complete existential theory for the properties of binary relations

This page was built for publication: A study of some ‘separated’ conditions on binary relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4861489)