Polyhedral Completeness of Intermediate Logics: The Nerve Criterion

Journal of Symbolic Logic 89 (1):342-382 (2024)
  Copy   BIBTEX

Abstract

We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a purely combinatorial characterisation of polyhedrally complete logics. Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov–Fine formulas of ‘starlike trees’ all of which are polyhedrally complete. The polyhedral completeness theorem for these ‘starlike logics’ is the second main result of this paper.

Similar books and articles

Analytics

Added to PP
2023-01-08

Downloads
300 (#70,568)

6 months
165 (#20,873)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Sam Adam-Day
Oxford University
Nick Bezhanishvili
University of Amsterdam

Citations of this work

No citations found.

Add more citations