A study of some ‘separated’ conditions on binary relations

DOI10.1111/j.1755-2567.1991.tb00538.xzbMath0842.03009OpenAlexW2096871719MaRDI QIDQ4861489

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)

Related Items (3)

Classes of valuations closed under operations Galois-dual to Boolean sentence connectives ⋮ An intriguing logic with two implicational connectives ⋮ Supervenience, Dependence, Disjunction

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