Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.
- Published in:
- Studia Logica, 2017, v. 105, n. 6, p. 1255, doi. 10.1007/s11225-017-9746-8
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2017 AND VI 105 AND IP 6
Results: 11
1
2
First-Degree Entailment and its Relatives.
- Published in:
- Studia Logica, 2017, v. 105, n. 6, p. 1291, doi. 10.1007/s11225-017-9747-7
- By:
- Publication type:
- Article
3
Paraconsistent Logic, Evidence, and Justification.
- Published in:
- Studia Logica, 2017, v. 105, n. 6, p. 1149, doi. 10.1007/s11225-017-9714-3
- By:
- Publication type:
- Article
4
Paraconsistent Double Negations as Classical and Intuitionistic Negations.
- Published in:
- Studia Logica, 2017, v. 105, n. 6, p. 1167, doi. 10.1007/s11225-017-9731-2
- By:
- Publication type:
- Article
5
Interpolation Methods for Dunn Logics and Their Extensions.
- Published in:
- Studia Logica, 2017, v. 105, n. 6, p. 1319, doi. 10.1007/s11225-017-9720-5
- By:
- Publication type:
- Article
6
Four-Valued Paradefinite Logics.
- Published in:
- Studia Logica, 2017, v. 105, n. 6, p. 1087, doi. 10.1007/s11225-017-9721-4
- By:
- Publication type:
- Article
7
An Algebraic View of Super-Belnap Logics.
- Published in:
- Studia Logica, 2017, v. 105, n. 6, p. 1051, doi. 10.1007/s11225-017-9739-7
- By:
- Publication type:
- Article
8
40 years of FDE: An Introductory Overview.
- Published in:
- 2017
- By:
- Publication type:
- Editorial
9
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.
- Published in:
- Studia Logica, 2017, v. 105, n. 6, p. 1193, doi. 10.1007/s11225-017-9752-x
- By:
- Publication type:
- Article
10
Disentangling FDE-Based Paraconsistent Modal Logics.
- Published in:
- Studia Logica, 2017, v. 105, n. 6, p. 1221, doi. 10.1007/s11225-017-9753-9
- By:
- Publication type:
- Article
11
Rivals to Belnap-Dunn Logic on Interlaced Trilattices.
- Published in:
- Studia Logica, 2017, v. 105, n. 6, p. 1123, doi. 10.1007/s11225-016-9695-7
- By:
- Publication type:
- Article