Abstract:Affine logic is a fragment of continuous logic, introduced by Bagheri, in which only affine functions are allowed as connectives. This has the effect of endowing type spaces with the structure of compact convex sets. We study extremal models of affine theories (those that only realize extreme types), and the ways and conditions under which all models can be described from the extremal ones. We introduce and develop the general theory of measurable fields of metric structures and their direct integrals. One of our main results is an extremal decomposition theorem for models of simplicial theories, that is, affine theories whose type spaces form Choquet simplices. We prove that every model of a simplicial theory can be (uniquely) decomposed as a direct integral of extremal models. This generalizes known decomposition results (ergodic decomposition, tracial von Neumann factor decomposition), and moreover, holds without any separability hypothesis. Two extreme kinds of simplicial theories are Bauer theories, whose extreme types form a closed set, and Poulsen theories, whose extreme types form a dense set. We show that Keisler randomizations of continuous theories are, essentially, the same thing as affine Bauer theories. We establish a dichotomy result: a complete simplicial theory is either Bauer or Poulsen. As part of our analysis, we adapt many results and tools from continuous logic to the affine or extremal contexts (definability, saturation, type isolation, categoricity, etc.). We also provide a detailed study of the relations between continuous logic and affine logic. Finally, we present several examples of simplicial theories arising from theories in discrete logic, Hilbert spaces, probability measure-preserving systems, and tracial von Neumann algebras.

Computable Kripke models and intermediate logics

Models of Linear Logic based on the Schwartz $\varepsilon$-product

The intuitionistic fragment of computability logic at the propositional level

Models of transfinite provability logic

A Galois connection between classical and intuitionistic logics. II: Semantics

Kripke trick and decidability of monadic fragments of modal and superintuitionistic logics

Semantical Analysis of Intuitionistic Modal Logics between CK and IK

Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic

An intuitionistically complete system of basic intuitionistic conditional logic

Extremal models and direct integrals in affine logic

Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames

Bi-modal Gödel logic over [0,1]-valued Kripke frames

Logic and computation as combinatorics

Kripke-like models of Set Theory in Modal Residuated Logic

Models of Possibilities Instead of Logic as the Basis of Human Reasoning

Model-Theoretic Logic for Mathematical Theory of Semantic Information and Communication

Some General Completeness Results for Propositionally Quantified Modal Logics

The Ramified Analytical Hierarchy using Extended Logics

Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic

Synchronous Games, Simulations and lambda-calculus

Cut-free sequent calculi for the provability logic D