1 paper
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…