Télécharger le livre :  The Logic of Number
In The Logic of Number, Neil Tennant defines and develops his Natural Logicist account of the foundations of the natural, rational, and real numbers. Based on the logical system free Core Logic, the central method is to formulate rules of natural deduction governing...

Editeur : OUP Oxford
Parution : 2022-02-10
PDF

70,64

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Core Logic
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic, which lies deep inside Classical Logic, best formalizes rigorous mathematical reasoning. It captures...

Editeur : OUP Oxford
Parution : 2017-09-01
PDF

51,28

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Changes of Mind
This is the first logically precise, computationally implementable, book-length account of rational belief revision. It explains how a rational agent ought to proceed when adopting a new belief - a difficult matter if the new belief contradicts the agent's old beliefs....

Editeur : OUP Oxford
Parution : 2012-06-14
PDF

120,26

Téléchargement immédiat
Dès validation de votre commande