Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Implicative models of set theory
Samuele Maschio, Alexandre Miquel
In this paper we show that using implicative algebras one can produce models of set theory generalizing Heyting/Boolean-valued models and realizability models of (I)ZF, both in int…
cs.LO2018
Proceedings Seventh International Workshop on Classical Logic and Computation
Stefano Berardi, Alexandre Miquel
This special issue cover the seventh and last conference of the CL&C series, started in 2006 in San Servolo. Topics are the computational content of logics between intuitionistic l…