Semantics for the minimal well-determined logic

Igor Gorbunov, Mikhail Rybakov

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…