OnlineWoerterBuecher.de
Internes

Lexikon

equational logic


FirSt-order equational logic conSiStS of quantifier-free termS of ordinary firSt-order logic, with equality aS the only predicate Symbol. The model theory of thiS logic waS developed into UniverSal algebra by Birkhoff et al. [Birkhoff, Gratzer, Cohn]. It waS later made into a branch of category theory by Lawvere ("algebraic theorieS"). (1995-02-21)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ ad ] [ ai ] [ al ] [ algebra ] [ algebraic ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ aw ] [ B ] [ b ] [ bo ] [ br ] [ branch ] [ by ] [ C ] [ ca ] [ cat ] [ category ] [ ch ] [ co ] [ con ] [ conS ] [ de ] [ du ] [ ed ] [ ee ] [ eg ] [ er ] [ eS ] [ et ] [ fi ] [ file ] [ firSt-order ] [ firSt-order logic ] [ fr ] [ free ] [ G ] [ ge ] [ gi ] [ h ] [ hn ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ int ] [ io ] [ ir ] [ iS ] [ it ] [ kh ] [ la ] [ Lex ] [ li ] [ ly ] [ ma ] [ mo ] [ mod ] [ mode ] [ model ] [ module ] [ mS ] [ na ] [ nc ] [ ni ] [ nl ] [ nS ] [ op ] [ pe ] [ ph ] [ pr ] [ quality ] [ quantifier ] [ query ] [ rc ] [ re ] [ Sa ] [ Se ] [ Si ] [ St ] [ Sy ] [ T ] [ th ] [ theory ] [ to ] [ tz ] [ ua ] [ UniverSal algebra ] [ ve ]






[ Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (3493 Reads)
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0928 Seconds, with 17 Database-Queries
Zurück zur Startseite