Book titles in this series

Foundations of the Theory of Parthood

A Study of Mereology

Authors:

• Andrzej Pietruszczak

• Copyright: 2020

Available Renditions

• Hard cover
• Soft cover
• eBook

A Model–Theoretic Approach to Proof Theory

Authors:

• Henryk Kotlarski

• Copyright: 2019

Available Renditions

• Hard cover
• Soft cover
• eBook

Heyting Algebras

Duality Theory

Authors:

• Leo Esakia

• Copyright: 2019

Available Renditions

• Hard cover
• Soft cover
• eBook

Meaning and Proscription in Formal Logic

Variations on the Propositional Logic of William T. Parry

Authors:

• Thomas Macaulay Ferguson

• Copyright: 2017

Available Renditions

• Hard cover
• Soft cover
• eBook

Contradictions, from Consistency to Inconsistency

Editors:

• Walter Carnielli
• Jacek Malinowski

• Copyright: 2018

Available Renditions

• Hard cover
• Soft cover
• eBook

Quantum Computation and Logic

How Quantum Computers Have Inspired Logical Investigations

Authors:

• Maria Luisa Dalla Chiara
• Roberto Giuntini
• Roberto Leporini
• Giuseppe Sergioli

• Copyright: 2018

Available Renditions

• Hard cover
• eBook

Descriptor Revision

Belief Change through Direct Choice

Authors:

• Sven Ove Hansson

• Copyright: 2017

Available Renditions

• Hard cover
• Soft cover
• eBook

Logical Studies of Paraconsistent Reasoning in Science and Mathematics

Editors:

• Holger Andreas
• Peter Verdée

• Copyright: 2016

Available Renditions

• Hard cover
• Soft cover
• eBook

Freedom and Enforcement in Action

A Study in Formal Action Theory

Authors:

• Janusz Czelakowski

• Copyright: 2015

Available Renditions

• Hard cover
• Soft cover
• eBook

Logics and Falsifications

A New Perspective on Constructivist Semantics

Authors:

• Andreas Kapsner

• Copyright: 2014

Available Renditions

• Hard cover
• Soft cover
• eBook