UNIVERSITY OF GOTHENBURG · SWEDEN
Proof Theory
Master's · Taught in en · UCAS LOG221
At a glance
3 mo
Duration
6.0
IELTS
€2k
Tuition / yr
en
Language
Master's
Level
- 7.5ECTS credits
- 19 Jan - 25 Mar 2026Course Dates
- 50%Study Pace
- CampusLocation
- EnglishLanguage of Instruction
This Master's level course treats derivations and proofs as mathematical objects, studied from a formal, syntactic perspective. It contrasts with model theory, which focuses on semantic aspects. The course examines formal proof systems like natural deduction and sequent calculus. Key theorems such as cut elimination and normalisation for propositional and predicate logic, including formalized arithmetic, are proven in detail. Philosophical and linguistic connections to proof theory, such as its relationship with semantics and anti-realism, are also explored.
Curriculum
This course focuses on the syntactic study of proofs, examining formal systems and fundamental theorems. Specific modules or areas of study may include:
- Single Term
- Introduction to Proof Systems (Natural Deduction and Sequent Calculus)LOG221
- Cut Elimination and Normalisation TheoremsLOG221
- Proof Theory for Propositional and Predicate LogicLOG221
- Formalised ArithmeticLOG221
- Philosophical and Linguistic Aspects of Proof TheoryLOG221
Frequently asked questions
- What are the tuition fees for this programme?
- Citizens of countries outside the EU/EEA and Switzerland are required to pay 18,875 SEK per term. EU/EEA citizens, Swedish residence permit holders, and exchange students are exempt from tuition fees.
- What are the application deadlines for this programme?
- The application period for the Spring 2026 intake is from 15 September to 15 October 2025.
- What is the duration of the Proof Theory course?
- This is a single-term course, running from 19 January to 25 March 2026.
- What are the entry requirements for this programme?
- You need to have successfully completed at least 7.5 credits of Logical Theory or Logic in Computer Science, or the equivalent. Selection is based on your previous university credits.
- Are there any scholarships available for international students?
- Scholarships may be available to help cover study costs for fee-paying students, with variable amounts. More information can be found on the University of Gothenburg's scholarship pages.
- What is the language of instruction for this programme?
- The language of instruction for this programme is English.
Entry requirements
Previous University StudiesSuccessful completion of at least 7.5 credits of Logical Theory (LOG111) or Logic in Computer Science (DAT060 or DIT201), or the equivalent.
English 6Equivalent is accepted
Selection is based on the number of credits from previous university studies, with a maximum of 165 credits considered.
Fees
Tuition (international)18,875 SEK per term
Tuition (home)No fees for EU/EEA citizens, Swedish residence permit holders, and exchange students.
LivingNot specified
The first payment of 18,875 SEK is due before studies begin. EU/EEA citizens, Swedish residence permit holders, and exchange students are exempt from tuition fees. Citizens of countries outside the EU/EEA and Switzerland are required to pay a 900 SEK application fee to universityadmissions.se. Payments can be made via bank transfer or card. Card payment is recommended for faster processing and to facilitate residence permit applications.
How to apply
1. Check Application PeriodEnsure your application is submitted within the specified application period (15 September - 15 October 2025 for Spring 2026 intake).
2. Submit Online ApplicationApply online via the University Admissions in Sweden portal (universityadmissions.se).
3. Pay Application Fee (if applicable)If you are a citizen of a country outside the EU/EEA/Switzerland, you must pay a 900 SEK application fee.
4. Meet Entry RequirementsEnsure you meet the academic and English language proficiency requirements.
5. Await Selection ResultsSelection is based on previous university credits.
6. Pay Tuition Fee (if applicable)Fee-paying students must pay the tuition fee (18,875 SEK) by the specified deadline (e.g., 1 May for autumn semester, 15 December for spring semester for new students) after receiving notification of admission.
Scholarships
Scholarships for Fee-Paying StudentsVariable
Accreditation
Not specified
Frequently asked questions
What are the tuition fees for this programme?
+
Citizens of countries outside the EU/EEA and Switzerland are required to pay 18,875 SEK per term. EU/EEA citizens, Swedish residence permit holders, and exchange students are exempt from tuition fees.
What are the application deadlines for this programme?
+
The application period for the Spring 2026 intake is from 15 September to 15 October 2025.
What is the duration of the Proof Theory course?
+
This is a single-term course, running from 19 January to 25 March 2026.
What are the entry requirements for this programme?
+
You need to have successfully completed at least 7.5 credits of Logical Theory or Logic in Computer Science, or the equivalent. Selection is based on your previous university credits.
Are there any scholarships available for international students?
+
Scholarships may be available to help cover study costs for fee-paying students, with variable amounts. More information can be found on the University of Gothenburg's scholarship pages.
What is the language of instruction for this programme?
+
The language of instruction for this programme is English.