|
| Volume 108:
Semitopology
Decentralised Collaborative Action via Topology, Algebra, and Logic
Murdoch J. Gabbay
978-1-84890-465-1
View Details  |
|
 | Volume 107:
Non-commutative Algebras
Pseudo-BCK Algebras versus m-pseudo-BCK Algebras
Afrodita Iorgulescu
978-1-84890-463-7
View Details |
|
 | Volume 106:
New Directions in Term Logic
George Englebretsen, editor
978-1-84890-462-0
View Details |
|
 | Volume 105:
Logic as a Tool
A Guide to Formal Logical Reasoning
Valentin Goranko
978-1-84890-460-6
View Details |
|
 | Volume 101:
The Logic of Partitions
With Two Major Applications
David Ellerman
978-1-84890-440-8
View Details |
|
 | Volume 97:
The Logic of Knowledge Bases
Second Edition
Hector Levesque and Gerhard Lakemeyer
978-1-84890-420-0
View Details |
|
 | Volume 96:
BCK Algebras versus m-BCK Algebras
Foundations
Afrodita Iorgulescu
978-1-84890-416-3
View Details |
|
 | Volume 95:
Transparent Intensional Logic
Selected Recent Essays
Marie Duží, Bjørn Jespersen, Miloš Kosterec and Daniela Vacek, eds.
978-1-84890-412-5
View Details |
|
 | Volume 91:
A View of Connexive Logics
Nissim Francez
978-1-84890-370-8
View Details |
|
 | Volume :
Artificial Intelligence
What is it, exactly?
Sebastien Konieczny and Henri Prade, editors
978-1-84890-338-8
View Details |
|
 | Volume 88:
Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic
Jiří Raclavský
978-1-84890-334-0
View Details |
|
 | Volume 84:
Witness Theory
Notes on λ-calculus and Logic
Adrian Rezuş
978-1-84890-326-5
View Details |
|
 | Volume 83:
Reasoning: Games, Cognition, Logic
Mariusz Urbański, Tomasz Skura, Paweł Łupkowski, editors
978-1-84890-325-8
View Details |
|
 | Volume 82:
Formal Logic
Classical Problems and Proofs
Luis M. Augusto
978-1-84890-317-3
View Details |
|
 | Volume 79:
Games Iteration Numbers
A Philosophical Introduction to Computability Theory
Luca M. Possati
978-1-84890-298-5
View Details |
|
 | Volume 78:
Logic and Philosophy of Logic
Recent Trends in Latin America and Spain
Max A. Freund, Max Fernandez de Castro and Marco Ruffino, eds
978-1-84890-293-0
View Details |
|
 | Volume 73:
Measuring Inconsistency in Information
John Grant and Maria Vanina Martinez, eds.
978-1-84890-244-2
View Details |
|
 | Volume 72:
Fathoming Formal Logic: Vol II
Semantics and Proof Theory for Predicate Logic
Odysseus Makridis
978-1-84890-267-1
View Details |
|
 | Volume 71:
Fathoming Formal Logic: Vol I
Theory and Decision Procedures for Propositional Logic
Odysseus Makridis
978-1-84890-266-4
View Details |
|
 | Volume 70:
Proceedings of the International Conference Philosophy, Mathematics, Linguistics: Aspects of Interaction, 2012 (PhML-2012)
Euler International Mathematical Institute St Petersburg, May 22-25, 2012
Oleg Prosorov, editor
978-1-84890-256-5
View Details |
|
 | Volume 69:
Logic and Conditional Probability
A Synthesis
Philip Calabrese
978-1-84890-258-9
View Details |
|
|
| Volume 67:
Many-Valued Logics
A Mathematical and Computational Introduction. Second Edition
Luis M. Augusto
978-1-84890-250-3
View Details |
|
|
| Volume 64:
Logic of Questions in the Wild
Inferential Erotetic Logic in Information Seeking Dialogue Modelling
Pawel Lupkowski
978-1-84890-216-9
View Details |
|
|
| Volume 61:
Philosophical Applications of Modal Logic
Lloyd Humberstone
978-1-84890-196-4
View Details |
|
 | Volume 57:
Proof-theoretic Semantics
Nissim Francez
978-1-84890-183-4
View Details |
|
 | Volume 52:
Inconsistency Robustness
Carl Hewitt and John Woods, eds.
978-1-84890-159-9
View Details |
|
 | Volume 54:
Proof Theory of N4-related Paraconsistent Logics
Norihiro Kamide and Heinrich Wansing
978-1-84890-167-4
View Details |
|
 | Volume 51:
Metalogical Contributions to the Nonmonotonic Theory of Abstract Argumentation
Ringo Baumann
978-1-84890-143-8
View Details |
|
 | Volume 50:
Intuitionistic Set Theory
John L. Bell
978-1-84890-140-7
View Details |
|
 | Volume 49:
Introduction to Propositional Satisfiability
Victor Marek
978-1-84890-139-1
View Details |
|
 | Volume 47:
Logic Across the University: Foundations and Applications
Proceedings of the Tsinghua Logic Conference, Beijing, 2013
Johan van Benthem and Fenrong Liu, eds
978-1-84890-122-3
View Details |
|
 | Volume 41:
Symbolic Knowledge from Leibniz to Husserl
Abel Lassalle Casanave, editor
978-1-84890-073-8
View Details |
|
|
| Volume 36:
Understanding Vagueness
Logical, Philosophical, and Linguistic Perspectives
Petr Cintula, Christian G. Fermuller, Lluis Godo, and Petr Hajek, eds
978-1-84890-037-0
View Details |
|
 | Volume 35:
Logic is not Mathematical
Hartley Slater
978-1-84890-051-6
View Details |
|
 | Volume 32:
Foundations of the Formal Sciences VII
Bringing together Philosophy and Sociology of Science
Karen Francois, Benedikt Lowe, Thomas Muller and Bart van Kerkhove, eds
978-1-84890-049-3
View Details |
|
 | Volume 28:
Passed over in Silence
On Wittgenstein's Tractatus and its System
Jaap van der Does
978-1-84890-008-0
View Details |
|
 | Volume 16:
Foundations of the Formal Sciences VI
Probabilistic Reasoning and Reasoning with Probabilities
Benedikt Loewe, Eric Pacuit and Jan-Willem Romeijn, eds
978-1-904987-15-4
View Details |
|
 | Volume 15:
Logic, Navya-Nyaya and Applications
Homage to Bimal Krishna Matilal
Mihir K. Chakraborti, Benedikt Loewe, Madhabendra Nath Mitra and Sundar Sarukkai, eds.
978-1-904987-44-4
View Details |
|
 | Volume 27:
Inconsistent Geometry
Chris Mortensen
978-1-84890-022-6
View Details |
|
 | Volume 26:
Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics
Albrecht Heeffer and Maarten van Dyck, editors
978-1-84890-017-2
View Details |
|
 | Volume 25:
The Analytical Way
Proceedings of the 6th European Congress of Analytic Philosophy
Tadeusz Czarnecki, Katarzyna Kijania-Placek, Olga Pollr and Jan Wolenski, eds
978-1-84890-014-1
View Details |
|
 | Volume 23:
The Logic of Fiction
John Woods. Foreword by Nicholas Griffin
978-1-904987-99-4
View Details |
|
 | Volume 21:
The Many Sides of Logic
Editors: Walter Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D`Ottaviano
978-1-904987-78-9
View Details |
|
 | Volume 14:
New Approaches to Classes and Concepts
Klaus Robering, editor
978-1-904987-85-7
View Details |
|
 | Volume 11:
Foundations of the Formal Sciences V
Infinite Games
Stefan Bold, Benedikt Lwe, Thoralf Rsch and Johan van Benthem
ISBN 978-1-904987-75-8
View Details |
|
 | Volume 7:
Fallacies: Selected Papers 1972-1982
John Woods, Douglas Walton with a Foreword by Dale Jacquette
ISBN 9781904987161
View Details |
|
 | Volume 6:
How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency
Francesco Berto
ISBN 9781904987437
View Details |
|
 | Volume 5:
Incompleteness in the Land of Sets
Melvin Fitting
ISBN 9781904987345
View Details |
|
 | Volume 4:
Algebra, Logic and Set Theory
Edited by Benedikt Lwe
ISBN 1904987281
View Details |
|
 | Volume 3:
Foundations of the Formal Sciences IV
Edited by Benedikt Lwe, Volker Peckhaus and Thoralf Rsch
ISBN 190498729X
View Details |
|
 | Volume 2:
MBR04: Model Based Reasoning in Science and Engineering
Edited by Lorenzo Magnani
ISBN 1-904987-23-0
View Details |
|
 | Volume 1:
Proof-Theoretical Coherence
Kosta Doen, Zoran Petri?
ISBN 1904987060
View Details |
|
You may be interested in the following publication:
