Jørgen Villadsen

Available identifiers

zbMath Open villadsen.jorgenMaRDI QIDQ766279

List of research outcomes

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	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	2021-01-20	Paper
Logical entity level sentiment analysis	2018-04-20	Paper
Improving multi-agent systems using \textit{Jason}	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	2009-11-30	Paper
Natural Language Processing Using Lexical and Logical Combinators	2008-03-11	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4547855	2002-08-21	Paper

Research outcomes over time

This page was built for person: Jørgen Villadsen