Axiomatic Theories

Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs, Book 128)

Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs, Book 128) by V. P. Orevkov
English | 1993 | ISBN: 0821845764 | ISBN-13: 9780821845769 | 153 pages | DJVU | 1,6 MB

The aim of this work is to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories.

The Tarskian Turn: Deflationism and Axiomatic Truth (Repost)  eBooks & eLearning

Posted by manamba13 at Feb. 21, 2015
The Tarskian Turn: Deflationism and Axiomatic Truth (Repost)

The Tarskian Turn: Deflationism and Axiomatic Truth by Leon Horsten
English | 2011 | ISBN: 0262015862 | 178 Pages | PDF | 6 MB

In The Tarskian Turn, Leon Horsten investigates the relationship between formal theories of truth and contemporary philosophical approaches to truth.

The Tarskian Turn: Deflationism and Axiomatic Truth (repost)  eBooks & eLearning

Posted by arundhati at June 30, 2013
The Tarskian Turn: Deflationism and Axiomatic Truth (repost)

Leon Horsten, "The Tarskian Turn: Deflationism and Axiomatic Truth"
2011 | ISBN: 0262015862 | 178 pages | PDF | 5,5 MB

Default Reasoning: Causal and Conditional Theories  eBooks & eLearning

Posted by DZ123 at Jan. 9, 2017
Default Reasoning: Causal and Conditional Theories

Hector Geffner, "Default Reasoning: Causal and Conditional Theories"
English | 1992 | ISBN: 0262071371 | DJVU | pages: 237 | 2.1 mb

Axiomatic Domain Theory in Categories of Partial Maps  eBooks & eLearning

Posted by DZ123 at Jan. 8, 2017
Axiomatic Domain Theory in Categories of Partial Maps

Marcelo P. Fiore, "Axiomatic Domain Theory in Categories of Partial Maps"
English | 2004 | ISBN: 0521602777 | DJVU | pages: 251 | 1.2 mb
Logical Studies of Paraconsistent Reasoning in Science and Mathematics [repost]

Logical Studies of Paraconsistent Reasoning in Science and Mathematics (Trends in Logic) by Holger Andreas
English | 19 Dec. 2016 | ISBN: 3319402188 | 228 Pages | PDF | 2.3 MB

Logical Studies of Paraconsistent Reasoning in Science and Mathematics  eBooks & eLearning

Posted by hill0 at Dec. 17, 2016
Logical Studies of Paraconsistent Reasoning in Science and Mathematics

Logical Studies of Paraconsistent Reasoning in Science and Mathematics (Trends in Logic) by Holger Andreas
English | 19 Dec. 2016 | ISBN: 3319402188 | 228 Pages | PDF | 2.3 MB

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories.

Axiomatic Theory of Bargaining with a Variable Number of Agents  eBooks & eLearning

Posted by MoneyRich at Nov. 27, 2016
Axiomatic Theory of Bargaining with a Variable Number of Agents

Axiomatic Theory of Bargaining with a Variable Number of Agents by William Thomson
English | 24 Feb. 1989 | ISBN: 0521343836 | 222 Pages | PDF | 5 MB

In this book, Professor Thomson and Professor Lensberg extrapolate upon the Nash (1950) treatment of the bargaining problem to consider the situation where the number of bargainers may vary. The authors formulate axioms to specify how solutions should respond to such changes, and provide new characterizations of all the major solutions as well as generalizations of these solutions.
Bruce & Borg's Psychosocial Frames of Reference: Theories, Models, and Approaches for Occupation-Based Practice (4th edition)

Bruce & Borg's Psychosocial Frames of Reference: Theories, Models, and Approaches for Occupation-Based Practice (4th edition) By Terry Krupa
2015 | 450 Pages | ISBN: 161711622X | PDF | 13 MB

Objectivity, Realism, and Proof  eBooks & eLearning

Posted by AlenMiler at July 15, 2016
Objectivity, Realism, and Proof

Objectivity, Realism, and Proof: FilMat Studies in the Philosophy of Mathematics (Boston Studies in the Philosophy and History of Science) by Francesca Boccuni
English | 20 July 2016 | ISBN: 3319316427 | 386 Pages | PDF (True) | 3.59 MB

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge.