4 citations · 12 across the 10 of their papers we have counts for
5 papers · 1 filter
Two applications of the point-free coderivative
Zoltan A. Kocsis
We present two new applications of Simmons' point-free Cantor-Bendixson coderivative operator in intuitionistic logic. First, we use it to give a simplified proof of the recent res…
Distributive lattices in o-minimal structures
Zoltan A. Kocsis
We investigate distributive lattices and Heyting algebras definable in o-minimal structures. We give a complete description of one-dimensional distributive lattices definable in o-…
Proof-theoretic methods in quantifier-free definability
Zoltan A. Kocsis
We introduce a proof-theoretic approach to showing nondefinability of second-order intuitionistic connectives by quantifier-free schemata. We apply the method to prove that Taranov…
Apartness relations between propositions
Zoltan A. Kocsis
We classify all apartness relations definable in propositional logics extending intuitionistic logic using Heyting algebra semantics. We show that every Heyting algebra which conta…
Degree of Satisfiability in Heyting Algebras
Benjamin Merlin Bumpus, Zoltan A. Kocsis
Given a finite structure and property , it is a natural to study the degree of satisfiability of in ; i.e. to ask: what is the probability that uniformly randomly cho…