Robuta

https://portal.mardi4nfdi.de/wiki/Intuitive_semantics_for_first-degree_entailments_and_%60coupled_trees%27 Intuitive semantics for first-degree entailments and `coupled trees' - MaRDI portal first degree intuitive semantics entailments coupled