A study of some ‘separated’ conditions on binary relations

DOI10.1111/J.1755-2567.1991.TB00538.XMaRDI QIDQ4861489zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(4)

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

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)