1 citations · 2 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
Choice-free Topological Duality for Implicative Lattices and Heyting Algebras
Chrysafis Hartonas
We develop a common semantic framework for the interpretation both of , the intuitionistic propositional calculus, and of logics weaker than (substruct…
math.LO2023
Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
Chrysafis Hartonas
Constructive dualities have been recently proposed for some lattice based algebras and a related project has been outlined by Holliday and Bezhanishvili, aiming at obtaining "choic…