Roger Antonsen
Home
About
Books
Talks
Teaching
Research
Art
Press
Blog
Search
CMD-K
Dark Mode
Light Mode
CTRL-D
Font
CTRL-X
Ff
Language
CTRL-E/N
Norwegian
English
Random page
CTRL-Z
Search
Search
Search
Free Variable Sequent Calculi
A Free Variable Sequent Calculus with Uniform Variable Splitting
Uniform Variable Splitting
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic
Liberalized Variable Splitting
A Labelled System for IPL with Variable Splitting
Incremental Closure of Variable Splitting Tableaux
The Method of Variable Splitting
Incremental Variable Splitting
Book Review: Jan von Plato, Elements of Logical Reasoning
Card Shuffling Visualizations
Human cognition and the AI revolution
Categorizing Celtic Knot Designs