A Propositional Metric Logic with Fixed Finite Ranges (Q5134355)
From MaRDI portal
scientific article; zbMATH DE number 7274642
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Propositional Metric Logic with Fixed Finite Ranges |
scientific article; zbMATH DE number 7274642 |
Statements
A Propositional Metric Logic with Fixed Finite Ranges (English)
0 references
16 November 2020
0 references
metric operators
0 references
soundness
0 references
completeness
0 references
compactness
0 references
