A conservative negation extension of positive semilattice logic without the finite model property
scientific article; zbMATH DE number 7339952
scientific article