Title of article :
Scattered toposes
Original Research Article
Author/Authors :
LEO ESAKIA، نويسنده , , Mamuka Jibladze ، نويسنده , , Dito Pataraia، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Abstract :
A class of toposes is introduced and studied, suitable for semantical analysis of an extension of the Heyting predicate calculus admitting Gödelʹs provability interpretation.
Keywords :
Fixed point , topos , Proof-intuitionistic logic , Heyting algebra
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
