3 citations · 5 across the 7 of their papers we have counts for
7 papers
Pointwise provable equality and the failure of composition
Florian Lengyel
In their studies of pathologies in recursion categories, Montagna (1989) and Di Paola--Montagna (1991) introduce the algebraic systems and , respectively, and claim that…
Diagonal Simplicial Tensor Modules and Algebraic -Hypergroupoids
Florian Lengyel
Let be a commutative ring, let , and let with . We attach to a diagonal simplicial ten…
A Cartesian Promonoidal Kernel on and a Hadamard Contraction of
Florian Lengyel
Pointwise multiplication of nondecreasing maps defines simplicial maps \(H_{p,q}:Δ^p\timesΔ^q\toΔ^{pq}\) for nonnegative integers \(p,q\). We express these maps using Day's promono…
Efficient Defection: Overage-Proportional Rationing Attains the Cooperative Frontier
Florian Lengyel
We study a noncooperative -player game of slack allocation in which each player has entitlement and chooses a claim . Let (overage) and $s…
Denial Logic
Florian Lengyel, Benoit St-Pierre
Denial Logic DL, a system of justification logic, is the logic of an agent whose justified beliefs are false, who cannot avow his own propositional attitudes or believe tautologies…
Recursion categories of coalgebras
Florian Lengyel
We construct recursion categories from categories of coalgebras. Let be a nontrivial endofunctor on the category of sets that weakly preserves pullbacks and such that the categ…