Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for... Læs mere
Bemærk: Kan ikke leveres før jul.
This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute;
Bemærk: Kan ikke leveres før jul.
This book focuses on one of the major challenges of the newly created scientific domain known as data science: turning data into actionable knowledge in order to exploit increasing data volumes and deal with their inherent complexity.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book offers a defense against non-classical approaches to the paradoxes. In fact, he believes classical... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics.
Bemærk: Kan ikke leveres før jul.
?This book deals with the rise of mathematics in physical sciences, beginning with Galileo and Newton and extending to the present day.
Bemærk: Kan ikke leveres før jul.
This approach allows coherent and correct definitions of logical constants, logical consequence, and truth and connects their use to the practices of rational agents in science and everyday life.
Bemærk: Kan ikke leveres før jul.
This book constitutes revised selected papers from the refereed... Læs mere