Deduction-detachment theorem in hidden k-logics (Q5406128)
From MaRDI portal
scientific article; zbMATH DE number 6276454
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deduction-detachment theorem in hidden k-logics |
scientific article; zbMATH DE number 6276454 |
Statements
Deduction-detachment theorem in hidden k-logics (English)
0 references
1 April 2014
0 references
behavioural equivalence relation
0 references
hidden \(k\)-logic
0 references
equivalence between logics
0 references
Leibniz congruence
0 references
deduction-detachment theorem
0 references
Craig interpolation property
0 references
