Intuitive semantics for first-degree entailments and `coupled trees'
scientific article; zbMATH DE number 6943294