Zusammenfassung
Dieses und die folgenden Kapitel beschäftigen sich mit der Gleichheit, einer Relation, die in der Logik und in vielen Anwendungen eine zentrale Rolle spielt. Für eine Menge M ist die Gleichheit (oder: die Identität) auf M bekanntlich die Relation {(m, m) | m ∈ M}. Strukturen, in denen das Prädikatensymbol ≡ als die Gleichheit auf den entsprechenden Datenmengen interpretiert wird, nennen wir Gleichheitsmodelle bzw. Gleichheitsstrukturen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1991 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Hofbauer, D., Kutsche, RD. (1991). Paramodulation. In: Grundlagen des maschinellen Beweisens. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-663-07681-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-663-07681-0_5
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-14718-1
Online ISBN: 978-3-663-07681-0
eBook Packages: Springer Book Archive