27 citations · 102 across the 16 of their papers we have counts for
Showing 2022 · math.LOShow all
2 papers · 2 filters
math.LO2022★ 12 cited
A fundamental non-classical logic
Wesley H. Holliday
We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers…
math.LO2022★ 3 cited
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
Wesley H. Holliday
In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Ploščica. The standard representations of co…