Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Three-Dimensional Affine Spatial Logics
Adam Trybus
We focus on a branch of region-based spatial logics dealing with affine geometry. The research on this topic is scarce: only a handful of papers investigate such systems, mostly in…
cs.LO2026
A Non-Binary Method for Finding Interpolants: Theory and Practice
Adam Trybus, Karolina Rożko, Tomasz Skura
We describe a new method of finding interpolants for classical logic using certain refutation system as a starting point. Refutation can be thought of as an alternative approach to…