Works matching IS 00393215 AND DT 2014 AND VI 102 AND IP 6
Results: 9
Jaśkowski's Universally Free Logic.
- Published in:
- Studia Logica, 2014, v. 102, n. 6, p. 1095, doi. 10.1007/s11225-014-9561-4
- By:
- Publication type:
- Article
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony.
- Published in:
- Studia Logica, 2014, v. 102, n. 6, p. 1185, doi. 10.1007/s11225-014-9562-3
- By:
- Publication type:
- Article
Cut-Elimination: Syntax and Semantics.
- Published in:
- Studia Logica, 2014, v. 102, n. 6, p. 1217, doi. 10.1007/s11225-014-9563-2
- By:
- Publication type:
- Article
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.
- Published in:
- Studia Logica, 2014, v. 102, n. 6, p. 1103, doi. 10.1007/s11225-014-9564-1
- By:
- Publication type:
- Article
From Axiomatic Logic to Natural Deduction.
- Published in:
- Studia Logica, 2014, v. 102, n. 6, p. 1167, doi. 10.1007/s11225-014-9565-0
- By:
- Publication type:
- Article
Hypersequent and Display Calculi - a Unified Perspective.
- Published in:
- Studia Logica, 2014, v. 102, n. 6, p. 1245, doi. 10.1007/s11225-014-9566-z
- By:
- Publication type:
- Article
A Survey of Nonstandard Sequent Calculi.
- Published in:
- Studia Logica, 2014, v. 102, n. 6, p. 1295, doi. 10.1007/s11225-014-9567-y
- By:
- Publication type:
- Article
Normal Proofs, Cut Free Derivations and Structural Rules.
- Published in:
- Studia Logica, 2014, v. 102, n. 6, p. 1143, doi. 10.1007/s11225-014-9598-4
- By:
- Publication type:
- Article
Introduction.
- Published in:
- 2014
- By:
- Publication type:
- Editorial