Explore >> Select a destination

You are here

 www.logicmatters.net
Logical blog notes and papers - Logic Matters
| | njwildberger.com
Some fundamental formulas from metrical algebraic geometry (seminar) | njwildberger: tangential thoughts
5.1 parsecs away

Travel
| | This coming Tuesday in the Pure Maths Seminar at UNSW I will be giving a talk: Here are the details, in case you are in Sydney and are interested. The talk is at the School of Mathematics and Statistics, UNSW, Kensington campus, building the Red Centre, which is up the main walkway from Anzac Parade....
| | ncatlab.org
natural deduction in nLab
4.7 parsecs away

Travel
| |
| | openlogicproject.org
Many-valued logic in the OLP - Open Logic Project
7.3 parsecs away

Travel
| | 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...
| | bartoszmilewski.com
Function Types | Bartosz Milewski's Programming Cafe
42.1 parsecs away

Travel
| This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b...