Studia Logica: An International Journal for Symbolic Logic, Vol. 104, No. 1 (February 2016), pp. 79-114 (36 pages) We present a sequent calculus for extensional mereology. It extends the classical ...

This is a preview. Log in through your library . Abstract We motivate and introduce a new method of abduction, Matrix Abduction, and apply it to modelling the use of non-deductive inferences in the ...