URI: <http://id.loc.gov/authorities/sh85078115#concept>

Type: Topical Term

Alternate Labels: Algebra of logic; Logic, Universal; Mathematical logic; Symbolic and mathematical logic; Symbolic logic

Broader Terms:

• Mathematics

Narrower Terms:

• Admissible sets
• Algebraic logic
• Axiomatic set theory
• Categories (Mathematics)
• Combinatory logic
• Completeness theorem
• Computer logic
• Computer programs--Correctness
• Constructive mathematics
• Curry-Howard isomorphism
• Decidability (Mathematical logic)
• Definability theory (Mathematical logic)
• First-order logic
• Fuzzy logic
• Gödel numbers
• Gödel's theorem
• Hoare logic
• Independence (Mathematics)
• Infinitary languages
• Lambda calculus
• Linear orderings
• Logic machines
• Machine theory
• Matrix logic
• Model theory
• Nonclassical mathematical logic
• Pragmatics
• Predicate calculus
• Proof theory
• Propositional calculus
• Quasivarieties (Universal algebra)
• Recursion theory
• Recursive functions
• Reverse mathematics
• Science--Methodology
• Semantics (Philosophy)
• Switching theory
• Threshold logic
• Truth-functions
• Type theory
• VL1 system
• WFF 'N PROOF (Game)

Related Terms:

• Algebra, Abstract
• Metamathematics
• Set theory
• Syllogism

Sources:

• Copi, I. M. Symbolic logic, 1979.
• Web. 3

LC Classification: BC131

Created: 1986-02-11

Last Modified: 1999-10-05 06:51:35

Similar concepts from other vocabularies:

• <http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb11965690r>

Alternate Formats: RDF/XML, N-Triples, JSON