Algebraic proof theory for LE-logics (Q6493417)
From MaRDI portal
scientific article; zbMATH DE number 7839129
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic proof theory for LE-logics |
scientific article; zbMATH DE number 7839129 |
Statements
Algebraic proof theory for LE-logics (English)
0 references
26 April 2024
0 references
algebraic proof theory
0 references
polarity-based semantics
0 references
normal lattice expansions
0 references
non-distributive logics
0 references
cut-elimination
0 references
finite model property
0 references
display sequent calculi
0 references
substructural logics
0 references
0 references
0 references
