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
Språk CTRL-E/N
Norsk
Engelsk
Tilfeldig side CTRL-Z

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
Made with ❤️ Roger Antonsen © 2025