Katalin Bimbo – författare
Visar alla böcker från författaren Katalin Bimbo. Handla med fri frakt och snabb leverans.
14 produkter
Proof Theory
Sequent Calculi and Related Formalisms
Häftad, 2024
929 kr
Lägg i varukorg
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 …
Combinatory Logic
Pure, Applied and Typed
Häftad, 2024
929 kr
Lägg i varukorg
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 …
Combinatory Logic
Pure, Applied and Typed
E-bok, 2011
1091 kr
Lägg i varukorg
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 …
Proof Theory
Sequent Calculi and Related Formalisms
E-bok, 2014
1091 kr
Lägg i varukorg
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 …
Combinatory Logic
Pure, Applied and Typed
Inbunden, 2011
2525 kr
Lägg i varukorg
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 …
Combinatory Logic
Pure, Applied and Typed
E-bok, 2011
1067 kr
Lägg i varukorg
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 …
Proof Theory
Sequent Calculi and Related Formalisms
Inbunden, 2014
1837 kr
Lägg i varukorg
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 …
Proof Theory
Sequent Calculi and Related Formalisms
E-bok, 2014
1091 kr
Lägg i varukorg
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 …
Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn
Häftad, 2022
271 kr
Lägg i varukorg
J. Michael Dunn on Information Based Logics
Inbunden, 2016
1098 kr
Lägg i varukorg
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 …
J. Michael Dunn on Information Based Logics
E-bok, 2016
1459 kr
Lägg i varukorg
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 …
J. Michael Dunn on Information Based Logics
Häftad, 2018
1098 kr
Lägg i varukorg
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 …
Generalized Galois Logics
Relational Semantics of Nonclassical Logical Calculi
Av Katalin Bimbo, J. Michael Dunn
Inbunden, 2008
690 kr
Tillfälligt slut
Nonclassical logics have recently played an increasing role in disciplines ranging from mathematics and computer science to linguistics and philosophy. "Generalized Galois Logics" develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through …
Generalized Galois Logics
Relational Semantics of Nonclassical Logical Calculi
Av Katalin Bimbo, J. Michael Dunn
Häftad, 2008
327 kr
Tillfälligt slut
Nonclassical logics have recently played an increasing role in disciplines ranging from mathematics and computer science to linguistics and philosophy. "Generalized Galois Logics" develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through …
