An extended framework for specifying and reasoning about proof systems. Zbl 1403.03125
Nigam, Vivek; Pimentel, Elaine; Reis, Giselle |
|
2016
|
Algorithmic introduction of quantified cuts. Zbl 1393.03050
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel |
|
2014
|
Specifying proof systems in linear logic with subexponentials. Zbl 1347.03103
Nigam, Vivek; Pimentel, Elaine; Reis, Giselle |
|
2011
|
Introducing quantified cuts in logic with equality. Zbl 1423.68418
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Tapolczai, Janos; Weller, Daniel |
|
2014
|
System description: GAPT 2.0. Zbl 1475.68433
Ebner, Gabriel; Hetzl, Stefan; Reis, Giselle; Riener, Martin; Wolfsteiner, Simon; Zivota, Sebastian |
|
2016
|
An adequate compositional encoding of bigraph structure in linear logic with subexponentials. Zbl 1471.03086
Chaudhuri, Kaustuv; Reis, Giselle |
|
2015
|
Mechanizing focused linear logic in Coq. Zbl 1433.68586
Xavier, Bruno; Olarte, Carlos; Reis, Giselle; Nigam, Vivek |
|
2018
|
Formalized meta-theory of sequent calculi for substructural logics. Zbl 1401.03033
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle |
|
2017
|
The proof certifier checkers. Zbl 1471.68305
Chihani, Zakaria; Libal, Tomer; Reis, Giselle |
|
2015
|
On the generation of quantified lemmas. Zbl 1459.03011
Ebner, Gabriel; Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel |
|
2019
|
Formalized meta-theory of sequent calculi for linear logics. Zbl 1425.03007
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle |
|
2019
|
Quati: an automated tool for proving permutation lemmas. Zbl 1423.68422
Nigam, Vivek; Reis, Giselle; Lima, Leonardo |
|
2014
|
An encyclopaedia of proof systems.
2nd edition. Zbl 1395.03001
|
|
2017
|
The ILLTP library for intuitionistic linear logic. Zbl 1486.03026
Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle |
|
2019
|
Towards CERes in intuitionistic logic. Zbl 1252.03124
Leitsch, Alexander; Reis, Giselle; Woltzenlogel Paleo, Bruno |
|
2012
|
Proceedings of the sixth workshop on proof eXchange for theorem proving, Natal, Brazil, August 26, 2019. Zbl 1490.68029
|
|
2019
|
On the generation of quantified lemmas. Zbl 1459.03011
Ebner, Gabriel; Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel |
|
2019
|
Formalized meta-theory of sequent calculi for linear logics. Zbl 1425.03007
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle |
|
2019
|
The ILLTP library for intuitionistic linear logic. Zbl 1486.03026
Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle |
|
2019
|
Proceedings of the sixth workshop on proof eXchange for theorem proving, Natal, Brazil, August 26, 2019. Zbl 1490.68029
|
|
2019
|
Mechanizing focused linear logic in Coq. Zbl 1433.68586
Xavier, Bruno; Olarte, Carlos; Reis, Giselle; Nigam, Vivek |
|
2018
|
Formalized meta-theory of sequent calculi for substructural logics. Zbl 1401.03033
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle |
|
2017
|
An encyclopaedia of proof systems.
2nd edition. Zbl 1395.03001
|
|
2017
|
An extended framework for specifying and reasoning about proof systems. Zbl 1403.03125
Nigam, Vivek; Pimentel, Elaine; Reis, Giselle |
|
2016
|
System description: GAPT 2.0. Zbl 1475.68433
Ebner, Gabriel; Hetzl, Stefan; Reis, Giselle; Riener, Martin; Wolfsteiner, Simon; Zivota, Sebastian |
|
2016
|
An adequate compositional encoding of bigraph structure in linear logic with subexponentials. Zbl 1471.03086
Chaudhuri, Kaustuv; Reis, Giselle |
|
2015
|
The proof certifier checkers. Zbl 1471.68305
Chihani, Zakaria; Libal, Tomer; Reis, Giselle |
|
2015
|
Algorithmic introduction of quantified cuts. Zbl 1393.03050
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel |
|
2014
|
Introducing quantified cuts in logic with equality. Zbl 1423.68418
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Tapolczai, Janos; Weller, Daniel |
|
2014
|
Quati: an automated tool for proving permutation lemmas. Zbl 1423.68422
Nigam, Vivek; Reis, Giselle; Lima, Leonardo |
|
2014
|
Towards CERes in intuitionistic logic. Zbl 1252.03124
Leitsch, Alexander; Reis, Giselle; Woltzenlogel Paleo, Bruno |
|
2012
|
Specifying proof systems in linear logic with subexponentials. Zbl 1347.03103
Nigam, Vivek; Pimentel, Elaine; Reis, Giselle |
|
2011
|