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-46920-6

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

Pailos / Da Ré

Metainferential Logics

Metainferential Logics

Metainferential Logics

Fachbuch2023BuchSpringerISBN 978-3-031-44380-0

Bonzio / Paoli / Pra Baldi

Logics of Variable Inclusion

Logics of Variable Inclusion

Logics of Variable Inclusion

Fachbuch2023BuchSpringerISBN 978-3-031-04299-7

Binder / Piecha / Schroeder-Heister

The Logical Writings of Karl Popper

The Logical Writings of Karl Popper

The Logical Writings of Karl Popper

Fachbuch2022BuchSpringerISBN 978-3-030-94925-9

Binder / Piecha / Schroeder-Heister

The Logical Writings of Karl Popper

The Logical Writings of Karl Popper

The Logical Writings of Karl Popper

Fachbuch2022BuchSpringerISBN 978-3-030-94928-0

Bonzio / Paoli / Pra Baldi

Logics of Variable Inclusion

Logics of Variable Inclusion

Logics of Variable Inclusion

Fachbuch2022BuchSpringerISBN 978-3-031-04296-6

Giordani / Malinowski

Logic in High Definition

Logic in High Definition

Logic in High Definition

Trends in Logical Semantics

Trends in Logical Semantics

Fachbuch2021BuchSpringerISBN 978-3-030-53489-9

Pailos / Da Ré

Metainferential Logics

Metainferential Logics

Metainferential Logics

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

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

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

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

Esakia / Bezhanishvili / Holliday

Heyting Algebras

Heyting Algebras

Heyting Algebras

Duality Theory

Duality Theory

2019eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-12096-2

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

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

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

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

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

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