2 citations · 4 across the 6 of their papers we have counts for
6 papers · 1 filter
A logical framework with a graph meta-language
Bruno Cuconato, Jefferson de Barros Santos, Edward Hermann Haeusler
We conjecture that the relative unpopularity of logical frameworks among practitioners is partly due to their complex meta-languages, which often demand both programming skills and…
On the Intrinsic Redundancy in Huge Natural Deduction proofs II: Analysing $M_{\imply}$ Super-Polynomial Proofs
Edward Hermann Haeusler
This article precisely defines huge proofs within the system of Natural Deduction for the Minimal implicational propositional logic \mil. This is what we call an unlimited family o…
Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on
Edward Hermann Haeusler
We estimate the size of a labelled tree by comparing the amount of (labelled) nodes with the size of the set of labels. Roughly speaking, a exponentially big labelled tree, is any…
A Sequent Calculus Proof Search Procedure and Counter-model Generation based on Natural Deduction Bounds
Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler
In a previously published ENTCS paper (Santos et al. (2016)), we introduced a sequent calculus called for Minimal Implicational Propositional Logic ($\…
On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies
Edward Hermann Haeusler, Alexandre Rademaker
In this article we show how Hans Kelsen jurisprudence and Intuitionistic logic are used to avoid the well-known contrary-to-duty (CTD) paradoxes, such as Chisholm paradoxes and its…
Finiteness and Computation in Toposes
Edward Hermann Haeusler
Some notions in mathematics can be considered relative. Relative is a term used to denote when the variation in the position of an observer implies variation in properties or measu…