Lectures on Mathematical Logic, Volume II

ISBN: 9780367398583 出版年：2000 页码：333 Felscher, Walter CRC Press

In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them