Sökt på: Sökresultat
totalt 28 träffar
Domain-Specific Languages of Mathematics
The main idea behind this book is to encourage readers to approach mathematical domains from a functional programming perspective: to identify the main functions and types involved …
A Lambda Calculus Satellite
In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference consisted in manipulating beads …
Fundamentos Axiomáticos das Disciplinas Científicas
Truth and Knowledge
We look at problems of truth and knowledge from various angles. Insufficient information may prevent the direct use of certain operations, as the use of probability in legal …
Investigations into the Predicate Calculus
Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Gentzen ever had. Their encounter took place in 1938--39 in G ttingen, with …
Handbook of Legal AI
The Handbook of Legal Artificial Intelligence presents a comprehensive overview of the state-of-the-art and trends in the research field of legal AI. The handbook provides a solid …
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 …
Advances in Modal Logic 14
Ever since antiquity, philosophers have recognized that truth comes in many "modes", so that a proposition may not only be true or false, but also e.g. "necessary" or "possible". …
Logic, Methodology and Philosophy of Science and Technology. Bridging Across Academic Cultures. Proceedings of the Sixteenth International Congress in Prague
This volume contains papers based on invited lectures from the 16th International Congress of Logic, Methodology and Philosophy of Science and Technology, descriptions of congress …
Why Am I a Slave? Questions that have forever changed our understanding of the world
"Half the job of getting the right answer is finding the right question."Sitting alone in my cave, as a troglodyte is wont to do, my tranquility is interrupted by a question that …
Pillars of Society. Ibsen, Shaw, Brecht
Pillars of Society: Ibsen, Shaw, Brecht is a collection of essays on the plays Pillars of Society (1877), Ghosts (1881), A Dolls House (1879), and Hedda Gabler (1890), by Henrik …
Logics for New-Generation AI
With the development of several new directions of AI, including explainable AI, ethical AI and knowledge-based AI, the corresponding directions of logical research are gaining …