First-order homotopical logic

DOI10.1017/JSL.2023.68MaRDI QIDQ6953431zbMATH OpenFDO

Authors Joseph Helfer

Publication date 24 July 2025

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

categorical logicintuitionistic logicmodel categories2-categorieshomotopy type theoryGrothendieck fibrations

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Fibered categories (18D30)

This page was built for publication: First-order homotopical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6953431)