College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Academia Brasileira de Filosofia
Algorithmics
Arts
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Comptes Rendus de l'Academie Internationale de Philosophie des Sciences
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
Historia Logicae
IfColog series in Computational Logic
Journal of Applied Logics - IfCoLog Journal
Journals
Landscapes
Logics for New-Generation AI
Logic and Law
Logic and Semiotics
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Neural Computing and Artificial Intelligence
Philosophy
Research
The SILFS series
Studies in Logic
History of Logic
Logic and cognitive systems
Mathematical logic and foundations
Studies in Logic and Argumentation
Logic and Bounded Rationality
Studies in Talmudic Logic
Student Publications
Systems
Texts in Logic and Reasoning
Texts in Mathematics
Tributes
Other
Digital Downloads
Information for authors
About us
Search for Books
 



Studies in Logic


Subseries:
These subseries are the scientific continuation of the two Elsevier series: Studies in Logic and Foundations of Mathematics (the "Yellow" series); and Studies in Logic and Practical Reasoning (the "Red" series). With the demise of these, we have established a new series that will take its place in the community.

We are maintaining historical continuity and the high scientific quality of the series, with strong editorial boards. We see this as an opportunity to expand the remit of the series to cover mathematical logic arising from applications in diverse areas, taking account of developments in logic in the second half of the last century.

History of Logic

Logic and cognitive systems

Mathematical logic and foundations

Studies in Logic and Argumentation

Logic and Bounded Rationality

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:

Handbooks
Volume :

Handbook of Deontic Logic and Normative Systems

Dov Gabbay, John Horty, Xavier Parent, Ron van der Meyden, Leendert van der Torre, eds

978-1-84890-132-2

View Details





© 2005–2024 College Publications / VFH webmaster