Abstract logic

In mathematical logic, an abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification.

Based on Lindström's characterization, first order logic is, up to equivalence, the only abstract logic which is countably compact and has Löwenheim number ω.

See also

References

Abstract logic (disambiguation)

Abstract logic may refer to:

In mathematics logic,

In music,

Abstract Logic (album)

Abstract Logic is the first collaborative live album by bassist Jonas Hellborg and guitarist Shawn Lane, released in 1995 through Day Eight Music; a remastered and remixed edition, containing a revised track listing and two extra tracks, was reissued through Bardo Records in 2004. For this lineup, they are joined by drummer Kofi Baker.

Critical reception

Robert Taylor at AllMusic gave Abstract Logic four stars out of five, calling it "a very good recording" but criticising Shawn Lane's guitar playing as inconsistent on the album. He praised Lane for sounding "positively demonic" and "demented, original and exciting" on some songs, but sounding too much like Allan Holdsworth on others.

Track listing

All songs written and composed by Jonas Hellborg, Shawn Lane and Kofi Baker, except where noted. 

2004 remastered edition

Personnel

References

External links