Bokus

Trends in Logic

Visar alla böcker i serien Trends in Logic. Handla med fri frakt och snabb leverans.

  1. Is-Ought Problem

    Is-Ought Problem

    Del 1 · G. Schurz · 1997

  2. Displaying Modal Logic

    Displaying Modal Logic

    Del 3 · Heinrich Wansing · 1998

  3. Metamathematics of Fuzzy Logic

    Metamathematics of Fuzzy Logic

    Del 4 · Petr Hájek · 1998

  4. Cut Elimination in Categories

    Cut Elimination in Categories

    Del 6 · K. Dosen · 1999

  5. Triangular Norms

    Triangular Norms

    Del 8 · Erich Peter Klement, R. Mesiar, E. Pap · 2000

  6. Convergence of Scientific Knowledge

    Convergence of Scientific Knowledge

    Del 9 · Vincent F. Hendricks · 2001

  7. Protoalgebraic Logics

    Protoalgebraic Logics

    Del 10 · Janusz Czelakowski · 2001

  8. Probabilistic Logic in a Coherent Setting

    Probabilistic Logic in a Coherent Setting

    Del 15 · Giulianella Coletti, R. Scozzafava · 2002

  9. Foundations of the Formal Sciences II

    Foundations of the Formal Sciences II

    Del 17 · Benedikt Löwe, Wolfgang Malzkorn, Thoralf Räsch · 2003

  10. Dual Tableaux: Foundations, Methodology, Case Studies

    Dual Tableaux: Foundations, Methodology, Case Studies

    Del 33 · Ewa Orlowska, Joanna Golińska Pilarek · 2010

  11. Advanced Łukasiewicz calculus and MV-algebras

    Advanced Łukasiewicz calculus and MV-algebras

    Del 35 · D. Mundici · 2011

  12. Truth and Falsehood

    Truth and Falsehood

    Del 36 · Yaroslav Shramko, Heinrich Wansing · 2011

  13. Leśniewski's Systems of Logic and Foundations of Mathematics

    Leśniewski's Systems of Logic and Foundations of Mathematics

    Del 37 · Rafal Urbaniak · 2013

  14. Recent Trends in Philosophical Logic

    Recent Trends in Philosophical Logic

    Del 41 · Roberto Ciuni, Heinrich Wansing, Caroline Willkommen · 2014

  15. Advances in Proof-Theoretic Semantics

    Advances in Proof-Theoretic Semantics

    Del 43 · Thomas Piecha, Peter Schroeder-Heister · 2015

  16. Logical Studies of Paraconsistent Reasoning in Science and Mathematics

    Logical Studies of Paraconsistent Reasoning in Science and Mathematics

    Del 45 · Holger Andreas, Peter Verdée · 2016

  17. Descriptor Revision

    Descriptor Revision

    Del 46 · Sven Ove Hansson · 2017

  18. Quantum Computation and Logic

    Quantum Computation and Logic

    Del 48 · Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli · 2018

  19. Meaning and Proscription in Formal Logic

    Meaning and Proscription in Formal Logic

    Del 49 · Thomas Macaulay Ferguson · 2018

  20. Heyting Algebras

    Heyting Algebras

    Del 50 · Leo Esakia, Guram Bezhanishvili, Wesley H. Holliday · 2019

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

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

    Del 53 · Peter M. Schuster, Monika Seisenberger, Andreas Weiermann · 2020

  22. Algebraic Perspectives on Substructural Logics

    Algebraic Perspectives on Substructural Logics

    Del 55 · Davide Fazio, Antonio Ledda, Francesco Paoli · 2020

  23. Logic in High Definition

    Logic in High Definition

    Del 56 · Alessandro Giordani, Jacek Malinowski · 2020

  24. Inquisitive Logic

    Inquisitive Logic

    Del 60 · Ivano Ciardelli · 2023

  25. New Directions in Relevant Logic

    New Directions in Relevant Logic

    Del 63 · Igor Sedlár, Shawn Standefer, Andrew Tedder · 2025

  26. 60 Years of Connexive Logic

    60 Years of Connexive Logic

    Del 65 · Hitoshi Omori, Heinrich Wansing · 2025

  27. Graph Games and Logic Design

    Graph Games and Logic Design

    Del 66 · Johan van Benthem, Fenrong Liu · 2026

  28. Algebraic Probabilistic Consistency

    Algebraic Probabilistic Consistency

    Del 69 · Daniele Mundici · 2026

  29. Model Theory: The Algebraic Basics

    Model Theory: The Algebraic Basics

    Del 70 · Davide Rizza · 2025

  30. Model–Theoretic Approach to Proof Theory

    Model–Theoretic Approach to Proof Theory

    Henryk Kotlarski, Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski · 2019

  31. Dialetheism and its Applications

    Dialetheism and its Applications

    Adam Rieger, Gareth Young · 2020

  32. Foundations of the Theory of Parthood

    Foundations of the Theory of Parthood

    Andrzej Pietruszczak · 2020

  33. Logic and Implication

    Logic and Implication

    Petr Cintula, Carles Noguera · 2021

  34. Logical Writings of Karl Popper

    Logical Writings of Karl Popper

    David Binder, Thomas Piecha, Peter Schroeder-Heister · 2022

  35. Algebraic Foundations of Many-Valued Reasoning

    Algebraic Foundations of Many-Valued Reasoning

    R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici · 1999

  36. Logics of Variable Inclusion

    Logics of Variable Inclusion

    Stefano Bonzio, Francesco Paoli, Michele Pra Baldi · 2022

  37. Fuzzy Logic

    Fuzzy Logic

    G. Gerla · 2001

  38. Metainferential Logics

    Metainferential Logics

    Federico Pailos, Bruno Da Ré · 2023

  39. Substructural Logics: A Primer

    Substructural Logics: A Primer

    F. Paoli · 2002

  40. Harmony and Paradox

    Harmony and Paradox

    Luca Tranchini · 2024

  41. Sheaves, Games, and Model Completions

    Sheaves, Games, and Model Completions

    Silvio Ghilardi, M. Zawadowski · 2002

  42. Contradictions, from Consistency to Inconsistency

    Contradictions, from Consistency to Inconsistency

    Walter Carnielli, Jacek Malinowski · 2019

  43. Method of Socratic Proofs

    Method of Socratic Proofs

    Dorota Leszczyńska-Jasion · 2025

  44. Topological and Algebraic Structures in Fuzzy Sets

    Topological and Algebraic Structures in Fuzzy Sets

    S.E. Rodabaugh, Erich Peter Klement · 2003

  45. Trends in Logic

    Trends in Logic

    Vincent F. Hendricks, Jacek Malinowski · 2003

  46. Reasoning in Quantum Theory

    Reasoning in Quantum Theory

    Maria Luisa Dalla Chiara, Roberto Giuntini, Richard Greechie · 2004

  47. Classical and New Paradigms of Computation and their Complexity Hierarchies

    Classical and New Paradigms of Computation and their Complexity Hierarchies

    Benedikt Löwe, Boris Piwinger, Thoralf Räsch · 2005

  48. Anaphora and Type Logical Grammar

    Anaphora and Type Logical Grammar

    Gerhard Jäger · 2005

  49. Logic, Action and Cognition

    Logic, Action and Cognition

    Eva Ejerhed, Sten Lindstrom · 1997

  50. Logic and Fixed-Domain Reasoning

    Logic and Fixed-Domain Reasoning

    Ralph Gregory Taylor · 2026

  51. Goguen Categories

    Goguen Categories

    Michael Winter · 2007

  52. Logic, Language and Reasoning

    Logic, Language and Reasoning

    Dov M. Gabbay, Uwe Reyle, Hans Jurgen Ohlbach, U. Reyle · 1999

  53. Constructive Negations and Paraconsistency

    Constructive Negations and Paraconsistency

    Sergei Odintsov · 2008

  54. Geometry of Approximation

    Geometry of Approximation

    Piero Pagliani, Mihir Chakraborty · 2008

  55. Types, Tableaus, and Gödel’s God

    Types, Tableaus, and Gödel’s God

    M. Fitting · 2002

  56. Towards Mathematical Philosophy

    Towards Mathematical Philosophy

    David Makinson, Jacek Malinowski, Heinrich Wansing · 2008

  57. Structural Reliabilism

    Structural Reliabilism

    P. Kawalec · 2002

  58. Adaptive Logics for Defeasible Reasoning

    Adaptive Logics for Defeasible Reasoning

    Christian Straßer · 2013

  59. Logic for Concurrency and Synchronisation

    Logic for Concurrency and Synchronisation

    R.J. De Queiroz · 2003

  60. Logics and Falsifications

    Logics and Falsifications

    Andreas Kapsner · 2015

  61. Guide to Classical and Modern Model Theory

    Guide to Classical and Modern Model Theory

    Annalisa Marcja, Carlo Toffalori · 2003

  62. Toward Predicate Approaches to Modality

    Toward Predicate Approaches to Modality

    Johannes Stern · 2015

  63. Analysis of Microarray Gene Expression Data

    Analysis of Microarray Gene Expression Data

    Ting Lee Mei-Ling · 2004

  64. Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics

    Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics

    Alex Citkin, Alexei Muravitsky · 2026

  65. Modal Semirings and Applications

    Modal Semirings and Applications

    Bernhard Möller, Jules Desharnais · 2026

  66. Philosophy of Syntax

    Philosophy of Syntax

    Mieszko Talasiewicz · 2009

  67. Natural Deduction, Hybrid Systems and Modal Logics

    Natural Deduction, Hybrid Systems and Modal Logics

    Andrzej Indrzejczak · 2010

  68. Gentzen Calculi for Modal Propositional Logic

    Gentzen Calculi for Modal Propositional Logic

    Francesca Poggiolesi · 2010

  69. Methods of Cut-Elimination

    Methods of Cut-Elimination

    Matthias Baaz, Alexander Leitsch · 2011

  70. Paradoxes

    Paradoxes

    Piotr Łukowski · 2011

  71. Advances in Natural Deduction

    Advances in Natural Deduction

    Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva · 2014

  72. Freedom and Enforcement in Action

    Freedom and Enforcement in Action

    Janusz Czelakowski · 2015