Søkt på: Bøker av Katalin Bimbo
totalt 11 treff
Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn
This book honors J. Michael Dunn, who was a preeminent relevance logician. Dunn's careerspanned over 50 years and his research results had an impact on philosophy, mathematics and …
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 …
Ifcolog Journal of Logics and their Applications. Proceedings of the Third Workshop. Volume 4, number 3
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 …
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 …
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 …
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 …
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 …
Generalized Galois Logics
Nonclassical logics have recently played an increasing role in disciplines ranging from mathematics and computer science to linguistics and philosophy. "Generalized Galois Logics" …
J. Michael Dunn on Information Based Logics
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 …
The Algebra of Intensional Logics
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 …