nLab
formal logic
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

See
logic
,
theory
logical framework
type theory
consistency
Revised on August 11, 2013 17:19:21 by
Urs Schreiber
(89.204.135.38)
Edit

Back in time
(1 revision)

See changes

History
 Views:
Print

TeX

Source
 Linked from:
composition
,
Jacob Lurie
,
net
,
finite quantum mechanics in terms of daggercompact categories
,
extension
,
quantum logic
,
term
,
syntax
,
modality
,
linear equation
,
structure in model theory
,
sequent
,
judgment
,
metalanguage
,
contradiction
,
inconsistency
,
interpretation
,
Lectures on Logic
,
TarskiSeidenberg theorem
,
Homotopy Type Theory  Univalent Foundations of Mathematics
,
consistency
,
projection formula
,
analytic philosophy
,
deduction theorem
,
modus ponens
,
cut rule
,
Tractatus LogicoPhilosophicus
,
system L
,
transcendental syntax