-
1
-
2
-
3“... contribute to the proof theory of two-layered modal logics of uncertainty by introducing a hypersequent...”
Get full text
Article -
4“... based on the classical proof theory borrowed from natural sciences. The aim hereof is to provide a new...”
Get full text
Article -
5
-
6
-
7
-
8
-
9
-
10
-
11“... translation within the Agda proof assistant. Rather than formalizing lax S5 as a proof theory, we emph{embed...”
Get full text
Article -
12by Matti NYKÄNEN“...Students of proof theory, a branch of formal logic, can benefit from computerized tools. We...”
Published 2005-04-01
Get full text
Article -
13by Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel-Paleo“... for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization...”
Published 2013-07-01
Get full text
Article -
14“... with Intersection and Tests. The combination of program composition, intersection and tests makes its proof-theory...”
Get full text
Article -
15by David Makinson“...', in mathematical practice rather than on the space of all formal possibilities, deployment in proof-theory...”
Published 2020-12-01
Get full text
Article -
16by Teguh Prihmono“... discussion is concluded. The problem is analyzed with proof theory and the theory of legal certainty so...”
Published 2018-08-01
Get full text
Article -
17by Giselle Reis“... the corresponding proof theory, and then study the language used to represent proofs, on a prover by prover basis...”
Published 2015-07-01
Get full text
Article -
18by A. Alexandru“... such as semantics foundation, automata theory, domain theory, proof theory and software verification). The results...”
Published 2018-06-01
Get full text
Article -
19by Emmanuel Beffara“... interaction called "proofs as schedules". Observing that proof theory is well suited to the description...”
Published 2014-09-01
Get full text
Article -
20by R. Horne“...This paper investigates the proof theory of multiplicative additive system virtual (MAV). MAV...”
Published 2015-12-01
Get full text
Article