research
∙
02/17/2023
Quantum Algorithm for Multiplicative Linear Logic
This paper describes a quantum algorithm for proof search in sequent cal...
share
research
∙
06/06/2022
On the horizontal compression of dag-derivations in minimal purely implicational logic
In this report, we define (plain) Dag-like derivations in the purely imp...
research
∙
06/25/2021
A logical framework with a graph meta-language
We conjecture that the relative unpopularity of logical frameworks among...
research
∙
12/28/2020
Yet another argument in favour of NP=CoNP
This article shows yet another proof of NP=CoNP. In a previous article, ...
research
∙
12/11/2020
Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic
A previous article shows that any linear height bounded normal proof of ...
research
∙
09/17/2020
On the Intrinsic Redundancy in Huge Natural Deduction proofs II: Analysing M_ Super-Polynomial Proofs
This article precisely defines huge proofs within the system of Natural ...
research
∙
03/16/2020
Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on M_⊃
We estimate the size of a labelled tree by comparing the amount of (labe...
research
∙
05/06/2019
Revisiting Counter-model Generation for Minimal Implicational Logic
The LMT^→ sequent calculus was introduced in Santos (2016). This paper p...
research
∙
03/20/2018
On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies
In this article we show how Hans Kelsen jurisprudence and Intuitionistic...
research
∙
12/14/2017
Passing the Brazilian OAB Exam: data preparation and some experiments
In Brazil, all legal professionals must demonstrate their knowledge of t...
research
∙
09/06/2017
