A novel approach to equality (Q6142508)
From MaRDI portal
scientific article; zbMATH DE number 7795345
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A novel approach to equality |
scientific article; zbMATH DE number 7795345 |
Statements
A novel approach to equality (English)
0 references
26 January 2024
0 references
equality
0 references
sequent calculus
0 references
logical constants
0 references
proof-theoretic semantics
0 references
cut elimination
0 references
0 references
0 references
