Found: 8
Select item for more details and to access through your institution.
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
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
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
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
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
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
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
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