This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a...Lasīt vairāk
John Corcoran was a very well-known logician who worked on several areas of logic. He produced decisive works giving a better understanding of two major figures in the history of logic, Aristotle and Boole. Corcoran had a close association with Al...Lasīt vairāk
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulati...Lasīt vairāk
John Corcoran was a very well-known logician who worked on several areas of logic. He produced decisive works giving a better understanding of two major figures in the history of logic, Aristotle and Boole. Corcoran had a close association with Al...Lasīt vairāk
This contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne University in Paris since 2011. Each year, the workshop brings together historians, philosophers, mathematicians, lingu...Lasīt vairāk
How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to abstract objects rather than to concrete ones? Can logic help to address t...Lasīt vairāk
This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarsk...Lasīt vairāk
The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on t...Lasīt vairāk
This contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne University in Paris since 2011. Each year, the workshop brings together historians, philosophers, mathematicians, lingu...Lasīt vairāk
How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to abstract objects rather than to concrete ones? Can logic help to address t...Lasīt vairāk
This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarsk...Lasīt vairāk
The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on t...Lasīt vairāk
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a...Lasīt vairāk
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed...Lasīt vairāk
This book connects logic with algebra. It covers universal logic and the question of what logic is as well as universal algebraic logic and duality theories between the world of logics and the world of algebra. It also discusses algebraic logic pr...Lasīt vairāk
This contributed volume explores the ways logical skills have been perceived over the course of history. The authors approach the topic from the lenses of philosophy, anthropology, sociology, and history to examine two opposing perceptions of lo...Lasīt vairāk
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a...Lasīt vairāk
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed...Lasīt vairāk
The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauers logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics...Lasīt vairāk
This monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a complete panorama of early Arabic logic and centering it within an expansive historical context. By thoroughly exami...Lasīt vairāk
This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world. The papers range from historical consid...Lasīt vairāk
