Roger Antonsen

According to our database, Roger Antonsen authored at least 8 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Logical Methods - The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Springer, ISBN: 978-3-030-63776-7, 2021

2018

Book Reviews.

Roger Antonsen, Andreas Nakkerud

Stud Logica, 2018

2012

Incremental variable splitting.

Christian Mahesh Hansen, Roger Antonsen, Martin Giese, Arild Waaler

J. Symb. Comput., 2012

2007

Liberalized Variable Splitting.

Roger Antonsen, Arild Waaler

J. Autom. Reason., 2007

A Labelled System for IPL with Variable Splitting.

Roger Antonsen, Arild Waaler

Proceedings of the Automated Deduction, 2007

2005

Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.

Roger Antonsen, Arild Waaler

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

2004

Uniform variable splitting.

Roger Antonsen

Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004

2003

A Free Variable Sequent Calculus with Uniform Variable Splitting.

Arild Waaler, Roger Antonsen

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003