Algebraic counterparts for some properties of superintuitionistic predicate logics (Q2773676)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Algebraic counterparts for some properties of superintuitionistic predicate logics |
scientific article; zbMATH DE number 1710293
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic counterparts for some properties of superintuitionistic predicate logics |
scientific article; zbMATH DE number 1710293 |
Statements
24 February 2002
0 references
quasicylindric algebra
0 references
superintuitionistic logic
0 references
projective Beth property
0 references
Beth property
0 references
interpolation property
0 references
disjunction property
0 references
existential property
0 references
Algebraic counterparts for some properties of superintuitionistic predicate logics (English)
0 references
In Algebra Logic 38, No. 1, 36-50 (1999; Zbl 0924.03112), the author introduced and treated the class of quasicylindric algebras. It was proven that every superintuitionistic predicate logic is complete with respect to some variety of quasicylindric algebras. In the article under review, algebraic counterparts are found for the Beth, projective Beth, interpolation, disjunction, and existential properties of superintuitionistic first-order logics (in terms of the corresponding varieties of quasicylindric algebras).
0 references
