scientificgems.wordpress.com
Sequent Calculus in NetLogo
NetLogo programs sometimes require agents to reason, and one of the simplest forms of reasoning is the sequent calculus. This uses expressions of the form α, β, γ, δ ⊢ ε, ζ, η which are inte…