Trends in Logic

Tranchini

Harmony and Paradox

Harmony and Paradox

Harmony and Paradox

Intensional Aspects of Proof-Theoretic Semantics

Intensional Aspects of Proof-Theoretic Semantics

Fachbuch2024BuchSpringerISBN 978-3-031-46923-7

Tranchini

Harmony and Paradox

Harmony and Paradox

Harmony and Paradox

Intensional Aspects of Proof-Theoretic Semantics

Intensional Aspects of Proof-Theoretic Semantics

Fachbuch2024BuchSpringerISBN 978-3-031-46920-6

Pailos / Da Ré

Metainferential Logics

Metainferential Logics

Metainferential Logics

Fachbuch2023BuchSpringerISBN 978-3-031-44380-0

Sedlár / Standefer / Tedder

New Directions in Relevant Logic

New Directions in Relevant Logic

New Directions in Relevant Logic

2024BuchSpringerISBN 978-3-031-69939-9

Bonzio / Paoli / Pra Baldi

Logics of Variable Inclusion

Logics of Variable Inclusion

Logics of Variable Inclusion

Fachbuch2023BuchSpringerISBN 978-3-031-04299-7

Pailos / Da Ré

Metainferential Logics

Metainferential Logics

Metainferential Logics

2023eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-44381-7

Cintula / Noguera

Logic and Implication

Logic and Implication

Logic and Implication

An Introduction to the General Algebraic Study of Non-classical Logics

An Introduction to the General Algebraic Study of Non-classical Logics

2022eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-85675-5

Bonzio / Paoli / Pra Baldi

Logics of Variable Inclusion

Logics of Variable Inclusion

Logics of Variable Inclusion

2022eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-031-04297-3

Fazio / Ledda / Paoli

Algebraic Perspectives on Substructural Logics

Algebraic Perspectives on Substructural Logics

Algebraic Perspectives on Substructural Logics

2020eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-52163-9

Giordani / Malinowski

Logic in High Definition

Logic in High Definition

Logic in High Definition

Trends in Logical Semantics

Trends in Logical Semantics

2020eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-53487-5

Pietruszczak

Foundations of the Theory of Parthood

Foundations of the Theory of Parthood

Foundations of the Theory of Parthood

A Study of Mereology

A Study of Mereology

2020eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-36533-2

Rieger / Young

Dialetheism and its Applications

Dialetheism and its Applications

Dialetheism and its Applications

2020eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-30221-4

Schuster / Seisenberger / Weiermann

Well-Quasi Orders in Computation, Logic, Language and Reasoning

Well-Quasi Orders in Computation, Logic, Language and Reasoning

Well-Quasi Orders in Computation, Logic, Language and Reasoning

A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

2020eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-30229-0

Adamowicz / Bigorajska / Zdanowski

A Model-Theoretic Approach to Proof Theory

A Model-Theoretic Approach to Proof Theory

A Model-Theoretic Approach to Proof Theory

2019eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-28921-8

Stern

Toward Predicate Approaches to Modality

Toward Predicate Approaches to Modality

Toward Predicate Approaches to Modality

2015eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-22557-9

Andreas / Verdée

Logical Studies of Paraconsistent Reasoning in Science and Mathematics

Logical Studies of Paraconsistent Reasoning in Science and Mathematics

Logical Studies of Paraconsistent Reasoning in Science and Mathematics

2016eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-40220-8

Kapsner

Logics and Falsifications

Logics and Falsifications

Logics and Falsifications

A New Perspective on Constructivist Semantics

A New Perspective on Constructivist Semantics

2015eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-05206-9

Hansson

Descriptor Revision

Descriptor Revision

Descriptor Revision

Belief Change through Direct Choice

Belief Change through Direct Choice

2017eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-53061-1

Ferguson

Meaning and Proscription in Formal Logic

Meaning and Proscription in Formal Logic

Meaning and Proscription in Formal Logic

Variations on the Propositional Logic of William T. Parry

Variations on the Propositional Logic of William T. Parry

2017eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-70821-8

Dalla Chiara / Giuntini / Leporini

Quantum Computation and Logic

Quantum Computation and Logic

Quantum Computation and Logic

How Quantum Computers Have Inspired Logical Investigations

How Quantum Computers Have Inspired Logical Investigations

2018eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-04471-8