Incompleteness in a topos

DOI10.1007/BF02366867zbMath0891.18003OpenAlexW2041957877MaRDI QIDQ1385779

A. I. Provotar'

Publication date: 20 July 1998

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02366867

zbMATH Keywords

incompletenessinconsistency

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (3)

On the paralogicality of some logical constructs ⋮ Using categorical methods in computer science ⋮ Main directions in the development of informatics

Cites Work

• Topoi. The categorial analysis of logic
• Unnamed Item

This page was built for publication: Incompleteness in a topos