A Proof Theory for the Logic of Provability in True Arithmetic.
- Published in:
- Studia Logica, 2020, v. 108, n. 4, p. 857, doi. 10.1007/s11225-019-09891-0
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2020 AND VI 108 AND IP 4
Results: 8
1
2
Herzberger's Limit Rule with Labelled Sequent Calculus.
- Published in:
- Studia Logica, 2020, v. 108, n. 4, p. 815, doi. 10.1007/s11225-019-09878-x
- By:
- Publication type:
- Article
3
Satisfiability is False Intuitionistically: A Question from Dana Scott.
- Published in:
- Studia Logica, 2020, v. 108, n. 4, p. 803, doi. 10.1007/s11225-019-09877-y
- By:
- Publication type:
- Article
4
Proof Theory of Paraconsistent Weak Kleene Logic.
- Published in:
- Studia Logica, 2020, v. 108, n. 4, p. 779, doi. 10.1007/s11225-019-09876-z
- By:
- Publication type:
- Article
5
Justification Logic with Confidence.
- Published in:
- Studia Logica, 2020, v. 108, n. 4, p. 751, doi. 10.1007/s11225-019-09874-1
- By:
- Publication type:
- Article
6
L-effect Algebras.
- Published in:
- Studia Logica, 2020, v. 108, n. 4, p. 725, doi. 10.1007/s11225-019-09873-2
- By:
- Publication type:
- Article
7
A Note on Strong Axiomatization of Gödel Justification Logic.
- Published in:
- Studia Logica, 2020, v. 108, n. 4, p. 687, doi. 10.1007/s11225-019-09871-4
- By:
- Publication type:
- Article
8
Proof Theory for Positive Logic with Weak Negation.
- Published in:
- Studia Logica, 2020, v. 108, n. 4, p. 649, doi. 10.1007/s11225-019-09869-y
- By:
- Publication type:
- Article