34 citations · 144 across the 66 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 12 cited
A New Connective in Natural Deduction, and its Application to Quantum Computing
Alejandro Díaz-Caro, Gilles Dowek
We investigate an unsuspected connection between logical connectives with non-harmonious deduction rules, such as Prior's tonk, and quantum computing. We argue that these connectiv…
cs.LO2020★ 1 cited
Extensional proofs in a propositional logic modulo isomorphisms
Alejandro Díaz-Caro, Gilles Dowek
System I is a proof language for a fragment of propositional logic where isomorphic propositions, such as and , or and $(A\Rightarr…