This explainer answers the question, what is an analytic consequence? Included in the discussion (for learners using Barwise, Etchemendy, and Barker-Plummer's "Language, Proof and Logic") is the AnaCon mechanism enlisted in the Fitch proof program.
No download links available.
