Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (Q2986784)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics |
scientific article |
Statements
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (English)
0 references
16 May 2017
0 references
multivalued logic
0 references
nondeterministic semantics
0 references
paraconsistent logic
0 references
proof theory
0 references
