Topologies for intermediate logics

descriptionPublicationkeyboard_double_arrow_right Article , Preprint 25 Jun 2014Embargo end date: 01 Jan 2012 Italy English Publisher:WileyJournal:Mathematical Logic Quarterly, volume 60, pages 335-347 (issn: 0942-5616, eissn: 1521-3870,

Copyright policy )

Authors: CARAMELLO, OLIVIA;

doi: 10.1002/malq.201200059 , 10.48550/arxiv.1205.2547

arXiv: 1205.2547

handle: 11383/2063468

Topologies for intermediate logics

- Summary
- Subjects
- Metrics

Abstract

We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan topologies on an elementary topos for a wide class of intermediate logics.

Country

Italy

Related Organizations

View all View all

Keywords

Logic, Topoi, Mathematics - Category Theory, Mathematics - Logic, Intermediate logics, 03G30, 03C35, 18C10, 18B25, FOS: Mathematics, Category Theory (math.CT), Logic (math.LO), Categorical logic, topoi

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average