Lupe
Suche

Autor: Katalin Bimbo

Support
Professor Katalin Bimbó is a logician working in the field of non-classical logics. Her main research interests and findings are in the areas of relevance and combinatory logics. She is the author of three books and numerous journal articles. Professor Bimbó held academic positions in the USA, New Zealand and Australia before moving to Canada, where she works at the University of Alberta, in Edmonton.




4 Ebooks von Katalin Bimbo

Katalin Bimbo: J. Michael Dunn on Information Based Logics
This book celebrates and expands on J. Michael Dunn’s work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing t …
PDF
Englisch
€96.29
Katalin Bimbo: Combinatory Logic
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 …
PDF
Englisch
DRM
€62.42
Katalin Bimbo: Proof Theory
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 …
PDF
DRM
€62.62
Katalin Bimbo: Proof Theory
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 …
EPUB
DRM
€62.09