1,387 followers
Intuitive semantics for first-degree entailments and coupled trees - Dunn gives a great overview of FDE together with a neat and simple tableaux system https://t.co/hhRInLTLO5
Intuitive semantics for first-degree entailments and coupled trees - Dunn gives a great overview of FDE together with a neat and simple tableaux system https://t.co/hhRInLTLO5