nLab
logic
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
entries on logic
axiom of choice
Boolean algebra
boolean domain
boolean function
boolean-valued function
classical logic
constructive mathematics
context
equality
evil
excluded middle
Heyting algebra
higher-order logic
internal logic
intuitionistic logic
minimal logic
negation
Peirce's law
predicate
predicate logic
predicative mathematics
propositional logic
relation
truth value
type
type theory
Revised on December 16, 2009 18:28:35 by
Toby Bartels
(173.60.119.197)
Edit
|
Back in time
(13 revisions)
|
See changes
|
History
| Views:
Print
|
TeX
|
Source
| Linked from:
axiom of choice
,
equality
,
Lawvere-Tierney topology
,
foundations and logic
,
excluded middle
,
algebraic theory
,
context
,
negation
,
de Morgan duality
,
classical logic
,
stuff, structure, property
,
Sheaves in Geometry and Logic
,
type theory
,
FOLDS
,
Michael Makkai
,
ultrafilter theorem
,
compact space
,
Markov's principle
,
2009 August changes
,
implication
,
variety of algebras
,
Charles Sanders Peirce
,
single-sorted definition of a category
,
type
,
Yuri Manin
,
propositional logic
,
higher-order logic
,
discrete mathematics
,
infinitesimal interval object
,
two-valued logic
,
induction
,
predicate
,
ionad
,
predicate logic
,
coherent formula
,
infinitesimal number