Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
consequently.org
|
|
| | | | | ||
| | | | |
openlogicproject.org
|
|
| | | | | We have four new chapters in the OLP. They contain draft material on many-valued logics. The Introduction explains their syntax and semantics in general terms. A chapter on three-valued logics disc... | |
| | | | |
homotopytypetheory.org
|
|
| | | | | Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new... | |
| | | | |
valuesinscience.com
|
|
| | | [AI summary] A published symposium on values in science, featuring discussions from a conference at the University of Dayton, is now available in the journal Studies in History and Philosophy of Science. | ||
