2 citations · 2 across the 1 of their papers we have counts for
4 papers
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 ($\…
Passing the Brazilian OAB Exam: data preparation and some experiments
Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler +1
In Brazil, all legal professionals must demonstrate their knowledge of the law and its application by passing the OAB exams, the national bar exams. The OAB exams therefore provide…
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…