Unification in Boolean rings (Q1112626): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q55393330, #quickstatements; #temporary_batch_1705917335470 |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Ursula Martin Webb / rank | |||
Property / author | |||
Property / author: Ursula Martin Webb / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5802117 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embedding Boolean expressions into logic programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5569204 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3786019 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3674088 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Refutational theorem proving using term-rewriting systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Knuth-Bendix Completion Procedure and Thue Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3786022 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4124795 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Machine-Oriented Logic Based on the Resolution Principle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4083731 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computer-Implemented Set Theory / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00297246 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2052429743 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 09:40, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Unification in Boolean rings |
scientific article |
Statements
Unification in Boolean rings (English)
0 references
1988
0 references
The prime concern of this paper is a concise exposition of unification in Boolean rings using Löwenheim's method. Following a brief but instructive introduction of Boolean rings Löwenheim's theorem on unification of Boolean terms by their most general unifier is proven. Arbitrary Boolean rings can easily be transformed to represent each of its elements in terms of an orthogonal basis. This orthogonal normal form of Boolean terms constitutes the starting point of the unification algorithm that is presented here designed to lower time complexity considerably. Eventually the impact of this algorithm applied to solve unification problems in set theory as well as in propositional calculus is demonstrated by examples.
0 references
Boolean algebra
0 references
string equations
0 references
unification
0 references
Boolean rings
0 references
0 references