Search results for ‘Katalin Bimbo’

Filter & Refine

      Cover image for Proof Theory
      Paperback
      Add to list Added to list

      Proof Theory

      Katalin Bimbo

      Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive…

      $119.99

      Order online and we’ll ship when availablePre-order now

      Cover image for Combinatory Logic
      Paperback
      Add to list Added to list

      Combinatory Logic

      Katalin Bimbo

      Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic. This comprehensive reference on combinatory logic covers results in the field from the last four…

      $119.99

      Order online and we’ll ship when availablePre-order now

      Cover image for Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn
      Paperback
      Add to list Added to list

      Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn

      Katalin Bimbo

      This book honors J. Michael Dunn, who was a preeminent relevance logician. Dunn’s career

      spanned over 50 years and his research results had an impact on philosophy, mathematics and informatics…

      $46.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Combinatory Logic: Pure, Applied and Typed
      Hardback
      Add to list Added to list

      Combinatory Logic: Pure, Applied and Typed

      Katalin Bimbo

      Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic. This comprehensive reference on combinatory logic covers results in the field from the last four…

      $283.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Discrete Mathematics its Applications: Proof Theory: Sequent Calculi and Related Formalisms
      Hardback
      Add to list Added to list

      Discrete Mathematics its Applications: Proof Theory: Sequent Calculi and Related Formalisms

      Katalin Bimbo

      Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and…

      $220.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for J. Michael Dunn on Information Based Logics
      Hardback
      Add to list Added to list

      J. Michael Dunn on Information Based Logics

      Theinformational view of semantics is also a prominent theme in Dunn’s research onother logics, such as quantum logic and linear logic, and led to theencompassing theory of generalized Galois logics…

      $322.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for J. Michael Dunn on Information Based Logics
      Paperback
      Add to list Added to list

      J. Michael Dunn on Information Based Logics

      Theinformational view of semantics is also a prominent theme in Dunn’s research onother logics, such as quantum logic and linear logic, and led to theencompassing theory of generalized Galois logics…

      $325.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for The Algebra of Intensional Logics
      Paperback
      Add to list Added to list

      The Algebra of Intensional Logics

      J Michael Dunn

      J. Michael Dunn’s PhD dissertation occupies a unique place in the development of the algebraic approach to logic. In The Algebra of Intensional Logics, Dunn introduced De Morgan monoids, a…

      $35.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
      Hardback
      Add to list Added to list

      Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

      J. Michael Dunn,Katalin Bimbo

      Develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural…

      $313.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
      Paperback
      Add to list Added to list

      Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

      Katalin Bimbo,J. Michael Dunn

      Develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural…

      $146.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for Ifcolog Journal of Logics and their Applications. Proceedings of the Third Workshop. Volume 4, number 3
      Paperback
      Add to list Added to list

      Ifcolog Journal of Logics and their Applications. Proceedings of the Third Workshop. Volume 4, number 3

      The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic…

      $36.99

      Available to order, ships in 7-14 daysAvailable to order