The simple substitution property of the intermediate propositional logics on finite slices (Q1208115)
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: The simple substitution property of the intermediate propositional logics on finite slices |
scientific article; zbMATH DE number 165912
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The simple substitution property of the intermediate propositional logics on finite slices |
scientific article; zbMATH DE number 165912 |
Statements
The simple substitution property of the intermediate propositional logics on finite slices (English)
0 references
16 May 1993
0 references
The simple substitution property (SSP) was introduced by the reviewer [Stud. Logica 45, 3-8 (1986; Zbl 0615.03009)], but he did not give it a name. The author of the paper, a student of the reviewer, provided the name SSP by an advice of the reviewer. If a logic has SSP, then we can have a systematic and easy method for proving or disproving a formula in it by an axiomatic way. The paper proves for logics on finite slices that they have SSP if and only if they have finite characteristic models.
0 references
simple substitution property
0 references
logics on finite slices
0 references
finite characteristic models
0 references
