B-systems
From MaRDI portal
Publication:6255671
arXiv1410.5389MaRDI QIDQ6255671FDOQ6255671
Authors: Vladimir Voevodsky 
Publication date: 20 October 2014
Abstract: B-systems are algebras (models) of an essentially algebraic theory that is expected to be constructively equivalent to the essentially algebraic theory of C-systems which is, in turn, constructively equivalent to the theory of contextual categories. The theory of B-systems is closer in its form to the structures directly modeled by contexts and typing judgements of (dependent) type theories and further away from categories than contextual categories and C-systems.
Abstract deductive systems (03B22) Metamathematics of constructive systems (03F50) Other algebras related to logic (03G25)
This page was built for publication: B-systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6255671)
