The finite model property for BCI and related systems (Q2563452): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 08:35, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The finite model property for BCI and related systems |
scientific article |
Statements
The finite model property for BCI and related systems (English)
0 references
12 December 1996
0 references
This paper answers problems posed by Meyer and Ono in proving the finite model property (\(A\) is provable if \(A\) is valid in every finite model) for BCI logic, BCI logic with conjunction and some restricted versions of these systems in the style of the lambda calculus. The author uses the ``method of barriers'' which he introduced to prove the same property for the product free lambda calculus and the commutative product free lambda calculus.
0 references
finite model property
0 references
BCI logic
0 references
barriers
0 references