|
|
|
|
intuitionistic logic
|
(Topic)
|
|
"intuitionistic logic" is owned by gribskoff.
|
|
(view preamble | get metadata)
See Also: an outline of Hilbert's programme, foundations of mathematics: overview, logicism, quantum topos, interpretation of intuitionistic logic by means of functionals, the inclusion of classical into intuitionistic logic, mathematical platonism
| Other names: |
Brouwer's logic, intuitionistic foundations |
| Also defines: |
intuitionistic proof, functionals |
| Keywords: |
constructive proof, Evidenz, Heyting's formal system, functionals |
|
|
Cross-references: maps, operation, sort, axiom of choice, effective, identity, finite, contains, extensional, restrictions, denotation, reductio ad absurdum, square, free variables, useful, IND, induction hypothesis, substitution rule, basis, length, induction, complete, derivable, theorem, Peirce's law, tautologies, divergent, states, simple, invertible, analysis, invalid, application, modus ponens, de Morgan's law, conditional, hypothesis, valid, axioms, first order, propositional calculus, variables, arithmetic, minimal, Calculus, represent, function, numbers, parameter, propositions, potential, force, infinite, quantifiers, domain, outcome, element, universal, natural number, segment, mean, ordinal numbers, ideal, ring, definitions, admissible, closure properties, class, closure axioms, Greek letters, argument, sequence, reference, operators, interpretation, normal form, truth function, implies, reduced, propositional functions, negation, contradiction, constant, formulas, existential quantifier, universal quantifier, premises, implication, disjunction, conjunction, connectives, derivations, clauses, natural deduction, composition, composite, place, prime, corollary, entail, language, predicate, terms, reflection, source, duality, inner, NOR, topological spaces, open subsets, integrate, axiomatics, function theory, set theory, member, proof, opposite, similar, logicism, logic, reduction, even, objects, range, foundations, theory, sections, level, classical logic
There are 25 references to this entry.
This is version 82 of intuitionistic logic, born on 2008-10-07, modified 2008-12-08.
Object id is 11153, canonical name is IntuitionisticLogic.
Accessed 3779 times total.
Classification:
| AMS MSC: | 03-01 (Mathematical logic and foundations :: Instructional exposition ) | | | 03A05 (Mathematical logic and foundations :: Philosophical and critical) | | | 03B20 (Mathematical logic and foundations :: General logic :: Subsystems of classical logic ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
