Roger Antonsen
Hjem
Om
Bøker
Foredrag
Undervisning
Forskning
Kunst
Presse
Blogg
Søk
CMD-K
Mørkt modus
Lyst modus
CTRL-D
Font
CTRL-X
Ff
Språk
CTRL-E/N
Norsk
Engelsk
Tilfeldig side
CTRL-Z
Søk
Søk
Søk
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