Abstract:In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice expansions. This includes a general definition of the Sahlqvist and inductive formulas and inequalities in every such signature, based on order theory. This definition covers in particular all (bi-)intuitionistic modal logics. The theory of these logics has been intensively studied over the past seventy years in connection with classical polyadic modal logics, using suitable versions of Goedel-McKinsey-Tarski translations as main tools. It is therefore natural to ask (1) whether a general perspective on Goedel-McKinsey-Tarski translations can be attained, also based on order-theoretic principles like those underlying the general definition of Sahlqvist and inductive formulas and inequalities, which accounts for the known Goedel-McKinsey-Tarski translations and applies uniformly to all signatures of normal (distributive) lattice expansions; (2) whether this general perspective can be used to transfer correspondence and canonicity theorems for Sahlqvist and inductive formulas and inequalities in all signatures described above under Goedel-McKinsey-Tarski translations. In the present paper, we set out to answer these questions. We answer (1) in the affirmative; as to (2), we prove the transfer of the correspondence theorem for inductive inequalities of arbitrary signatures of normal distributive lattice expansions. We also prove the transfer of canonicity for inductive inequalities, but only restricted to arbitrary normal modal expansions of bi-intuitionistic logic. We also analyze the difficulties involved in obtaining the transfer of canonicity outside this setting, and indicate a route to extend the transfer of canonicity to all signatures of normal distributive lattice expansions.

A Translation of "Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen" by Heinz Bachmann

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

Ludwig Bieberbach's "Remarks on Hilbert's Thirteenth Problem" and Addendum

Fundamental sequences based on localization

Ein Satz Über die Diophantische Gleichung $Ax^{2}-By^{4}=C$ ($C=1,2,4)$

On the Irrationality Exponents of Mahler Numbers

Translation of Werner Heisenberg's Paper "Quantum-Theoretical Reinterpretation of Kinematic and Mechanical Relations" Zeitschrift für Physik 33, 1925, 879-893 into Czech language

Intermediate Diophantine exponents and parametric geometry of numbers

Sahlqvist via Translation

On inverse Goodstein sequences

On Eschenburg's Habilitation on Biquotients

On the partition of numbers into parts of a given type and number

Residues : The gateway to higher arithmetic I

Non degenerate Birkhoff functions

Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic

Translation functors for locally analytic representations

A Note on and Generalization of "Exploring Modified Kaniadakis Entropy: MOND Theory and the Bekenstein Bound Conjecture"

On almost automorphic type solutions of abstract Integral equations, a Bohr-Neugebauer type property and some applications

Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic

THE UNIVERSAL NORM DISTRIBUTION AND SINNOTT'S INDEX FORMULA

Normally Ordered and Antinormally Ordered Expansions of Some Exponential Operators in Hilbert-Space