16 followers
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Springer International Publishing
Shay’s sweet paper in the Urquhart volume, defending an operational semantics, interpreting the points in a model as _theories_ omits the treatment of disjunction altogether. https://t.co/226MBY5BOy 32/
RT @umpteenth: I am a fan. https://t.co/Y1Eq7SQM1s https://t.co/YGODZZaK3z
I used it in "Revisiting Semilattice Semantics". Both of those two papers are in the OCL volume for Alasdair Urquhart. https://t.co/Esjts48WlJ