Jørgen Villadsen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
SeCaV: a sequent calculus verifier in Isabelle/HOL	2025-01-13	Paper
A naive prover for first-order logic: a minimal example of analytic completeness	2024-05-17	Paper
A sequent calculus for first-order logic formalized in Isabelle/HOL Journal Of Logic And Computation	2023-06-15	Paper
Formalizing a Seligman-style tableau system for hybrid logic (short paper)	2022-11-09	Paper
Formalizing axiomatic systems for propositional logic in Isabelle/HOL	2022-04-22	Paper
Programming and verifying a declarative first-order prover in Isabelle/HOL AI Communications	2021-01-20	Paper
Logical entity level sentiment analysis	2018-04-20	Paper
Improving multi-agent systems using \textit{Jason} Annals of Mathematics and Artificial Intelligence	2012-03-23	Paper
Nominalistic logic: from naive set theory to intensional type theory	2011-03-25	Paper
Supra-logic: using transfinite type theory with type variables for paraconsistency Journal of Applied Non-Classical Logics	2009-11-30	Paper
Natural Language Processing Using Lexical and Logical Combinators Logic Programming	2008-03-11	Paper
Artificial Intelligence and Symbolic Computation Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 1786557 (Why is no real title available?)	2002-08-21	Paper

Research outcomes over time

This page was built for person: Jørgen Villadsen