Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski (Q3150913)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski |
scientific article |
Statements
Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski (English)
0 references
20 October 2002
0 references
algebraic logic
0 references
free algebras
0 references
Boolean algebras
0 references
Kripke-frames
0 references
multi-modal logic
0 references
algebras of relations
0 references
cylindric algebras
0 references
proof theory
0 references
