Katalin Bimbo – författare

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 Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic.In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logics and meta-logical results, including decidability results obtained specifically using sequent calculus formalizations of logics.The book is suitable for a wide audience and can be used in advanced undergraduate or graduate courses. Computer scientists will discover intriguing connections between sequent calculi and resolution as well as between sequent calculi and typed systems. Those interested in the constructive approach will find formalizations of intuitionistic logic and two calculi for linear logic. Mathematicians and philosophers will welcome the treatment of a range of variations on calculi for classical logic. Philosophical logicians will be interested in the calculi for relevance logics while linguists will appreciate the detailed presentation of Lambek calculi and their extensions.

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the author presents the most up-to-date research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and lambda calculi and presents models and applications to illustrate these connections.

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 decades along with classical information on the topic. The author makes combinatory logic simple to understand while providing working knowledge that is rigorous, current, and readable. Reader-friendly without compromising the precision of exposition, the book includes many new research results not found in the available literature. It also contains pointers to new directions in the field that can be pursued further by researchers.

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 Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the author presents the most up-to-date research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and lambda calculi and presents models and applications to illustrate these connections.

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 decades along with classical information on the topic. The author makes combinatory logic simple to understand while providing working knowledge that is rigorous, current, and readable. Reader-friendly without compromising the precision of exposition, the book includes many new research results not found in the available literature. It also contains pointers to new directions in the field that can be pursued further by researchers.

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 Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic.In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logics and meta-logical results, including decidability results obtained specifically using sequent calculus formalizations of logics.The book is suitable for a wide audience and can be used in advanced undergraduate or graduate courses. Computer scientists will discover intriguing connections between sequent calculi and resolution as well as between sequent calculi and typed systems. Those interested in the constructive approach will find formalizations of intuitionistic logic and two calculi for linear logic. Mathematicians and philosophers will welcome the treatment of a range of variations on calculi for classical logic. Philosophical logicians will be interested in the calculi for relevance logics while linguists will appreciate the detailed presentation of Lambek calculi and their extensions.

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 Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi

This book celebrates and expands on J. Michael Dunn’s work oninformational interpretations of logic. Dunn, in his Ph.D. thesis (1966),introduced a semantics for first-degree entailments utilizing the idea that asentence can provide positive or negative information about a topic, possiblysupplying both or neither. He later published a related interpretation of thelogic R-mingle, which turned out to be one of the first relational semanticsfor a relevance logic. An incompatibility relation between information stateslends itself to a definition of negation and it has figured into Dunn'scomprehensive investigations into representations of various negations. 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 (or "gaggles").Dunn’s latest work addresses informational interpretations of the ternaryaccessibility relation and the verynature of information.The book opens withDunn’s autobiography, followed by a list of his publications. It then presentsa series of papers written by respected logicians working on different aspectsof information-based logics. The topics covered include the logic R-mingle,which was introduced by Dunn, and its applications in mathematical reasoning aswell as its importance in obtaining results for other relevance logics. Thereare also interpretations of the accessibility relation in the semantics ofrelevance and other non-classical logics using different notions ofinformation. It also presents a collection of papers that develop semantics forvarious logics, including certain modal and many-valued logics.The publication of thisbook is well timed, since we are living in an "information age.” Providingnew technical findings, intellectual history and careful expositions ofintriguing ideas, it appeals to a wide audience of scholars and researchers.

This book celebrates and expands on J. Michael Dunn’s work oninformational interpretations of logic. Dunn, in his Ph.D. thesis (1966),introduced a semantics for first-degree entailments utilizing the idea that asentence can provide positive or negative information about a topic, possiblysupplying both or neither. He later published a related interpretation of thelogic R-mingle, which turned out to be one of the first relational semanticsfor a relevance logic. An incompatibility relation between information stateslends itself to a definition of negation and it has figured into Dunn''scomprehensive investigations into representations of various negations. 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 (or "gaggles").Dunn’s latest work addresses informational interpretations of the ternaryaccessibility relation and the verynature of information.

The book opens withDunn’s autobiography, followed by a list of his publications. It then presentsa series of papers written by respected logicians working on different aspectsof information-based logics. The topics covered include the logic R-mingle,which was introduced by Dunn, and its applications in mathematical reasoning aswell as its importance in obtaining results for other relevance logics. Thereare also interpretations of the accessibility relation in the semantics ofrelevance and other non-classical logics using different notions ofinformation. It also presents a collection of papers that develop semantics forvarious logics, including certain modal and many-valued logics.

The publication of thisbook is well timed, since we are living in an "information age.” Providingnew technical findings, intellectual history and careful expositions ofintriguing ideas, it appeals to a wide audience of scholars and researchers.