Works matching IS 00393215 AND DT 2019 AND VI 107 AND IP 1
Results: 11
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.
- Published in:
- Studia Logica, 2019, v. 107, n. 1, p. 233, doi. 10.1007/s11225-018-9823-7
- By:
- Publication type:
- Article
General Proof Theory: Introduction.
- Published in:
- Studia Logica, 2019, v. 107, n. 1, p. 1, doi. 10.1007/s11225-018-9818-4
- By:
- Publication type:
- Article
Kosta Došen (1954-2017).
- Published in:
- Studia Logica, 2019, v. 107, n. 1, p. 7, doi. 10.1007/s11225-018-9814-8
- By:
- Publication type:
- Article
The Fundamental Problem of General Proof Theory.
- Published in:
- Studia Logica, 2019, v. 107, n. 1, p. 11, doi. 10.1007/s11225-018-9785-9
- By:
- Publication type:
- Article
Postponement of raa and Glivenko's Theorem, Revisited.
- Published in:
- Studia Logica, 2019, v. 107, n. 1, p. 109, doi. 10.1007/s11225-017-9781-5
- By:
- Publication type:
- Article
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.
- Published in:
- Studia Logica, 2019, v. 107, n. 1, p. 167, doi. 10.1007/s11225-017-9779-z
- By:
- Publication type:
- Article
Logicality, Double-Line Rules, and Modalities.
- Published in:
- Studia Logica, 2019, v. 107, n. 1, p. 85, doi. 10.1007/s11225-017-9778-0
- By:
- Publication type:
- Article
Is There a "Hilbert Thesis"?
- Published in:
- Studia Logica, 2019, v. 107, n. 1, p. 145, doi. 10.1007/s11225-017-9776-2
- By:
- Publication type:
- Article
Gödel on Deduction.
- Published in:
- Studia Logica, 2019, v. 107, n. 1, p. 31, doi. 10.1007/s11225-017-9774-4
- By:
- Publication type:
- Article
Proof Compression and NP Versus PSPACE.
- Published in:
- Studia Logica, 2019, v. 107, n. 1, p. 53, doi. 10.1007/s11225-017-9773-5
- By:
- Publication type:
- Article
The Naturality of Natural Deduction.
- Published in:
- Studia Logica, 2019, v. 107, n. 1, p. 195, doi. 10.1007/s11225-017-9772-6
- By:
- Publication type:
- Article