Abstracte logica

In de wiskundige logica is een abstracte logica een formeel systeem, dat bestaat uit een klasse van zinnen en een voldoeningsrelatie met specifieke eigenschappen met betrekking tot voorkomen, expansie, isomorfisme, hernoeming en kwantificering.[1]

Gebaseerd op Per Lindströms karakterisering is de eerste orde logica, op en tot met gelijkwaardigheid, de enige abstracte logica, die aftelbaar compact is en het Löwenheim-getal ω heeft.[2]

Zie ook

Voetnoten
  1. (en) C.C. Chang en Jerome Keisler, Model Theory, 1990 ISBN 0-444-88054-2, blz. 128
  2. (en) C.C. Chang en Jerome Keisler, Model Theory, 1990, ISBN 0-444-88054-2, blz. 132
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.