A geometrical view of I/O logic
Not on the map. Why?
Abstract (arXiv)
We describe a geometrical account of the I/O logic put forth by Makinson and van der Torre. A soundness and completeness results was reported for the simplest I/O operation called simple-minded, and in the finite case only. On this account a generator acts as a "jump" within a lattice.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 28 Nov 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 1.
1 paper.