On the Independence of Axioms in BL and MTL errata
The published version of a paper [
PDF
]
In
definition 3.1
you should read
(f′(ϕ1) ∧ . . . ∧ f′(ϕn)) ⇒ f′(ψ)
as
(Pr(f′(ϕ1)) ∧ . . . ∧ Pr(f′(ϕn))) ⇒ Pr(f′(ψ))
.
email:
karel
at
chvalovsky
dot
cz