Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
2
Computer programming / software development
2
Computer networking & communications
1
Computer science
1
Databases
1
Defeasible reasoning
1
Discrete mathematics
1
Erotetic logic
1
Mathematical foundations
1
Programming & scripting languages: general
1
Proof theory
1
Sequent calculus
1
accusing
1
argumentation
1
burdens of proof
1
illocutionary acts
1
pragmatics
1
probative obligations
1
-
1by Hancock, P. G.“..., then one might expect that proof theory should have much to contribute to the theory of programming...”
Published 1999
Get full text
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11by Doumane, Amina“.... This thesis contributes to reduce thisdeficiency by developing the infinitary proof-theory of logics...”
Published 2017
Get full text
-
12by Gebser, MartinSubjects: “...Proof Theory...”
Published 2011
Get full text
Get full text
Doctoral Thesis -
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20