{"id":"arxiv/2607.15664","url":"https://arxiv.org/abs/2607.15664","tags":["math.LO"],"score":0,"title":"Semantics for the minimal well-determined logic","domain":"math.LO","source":"arxiv","authors":["Igor Gorbunov","Mikhail Rybakov"],"reviews":0,"subject":"math.LO","summary":"The minimal well-determined logic in the language with conjunction and implication is investigated. A calculus for this logic, in which the modus ponens rule is not postulated, is proposed. The main result consists in constructing a semantics for this logic: it is formed by the class of lower semilattices with a greatest element, where the implication is interpreted using a partial function defined via the partial order of the semilattice. This extension of the notion of interpreting logical connectives in a matrix allows for the correct determination of the truth of formulas in the language…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-17","reactions":{}}