SCOPUS 정보 검색 플랫폼

Volumn 103, Issue 1-3, 2000, Pages 97-107

Scattered toposes

Author keywords

03G30; 18B25; Fixed point; Heyting algebra; Proof intuitionistic logic; Topos

Indexed keywords

EID: 0346056144 PISSN: 01680072 EISSN: None Source Type: Journal
DOI: 10.1016/S0168-0072(99)00035-4 Document Type: Article

Times cited : (13)

References (11)

1
- 0010806987
- Well-ordering and induction in intuitionistic logic and topoi
- Blass A. Well-ordering and induction in intuitionistic logic and topoi. Marcel Dekker Lect. Notes Pure Appl. Math. 106:1987;29-48.
- (1987) Marcel Dekker Lect. Notes Pure Appl. Math. , vol.106 , pp. 29-48
- Blass, A.¹

2
- 0346436464
- Quantification in intuitionistic logic with provability smack
- Esakia L. Quantification in intuitionistic logic with provability smack. Bull. Sect. Log. 27(1/2):1998;26-28.
- (1998) Bull. Sect. Log. , vol.27 , Issue.1-2 , pp. 26-28
- Esakia, L.¹

3
- 38249038541
- Choice and well-ordering
- Freyd P. Choice and well-ordering. Ann. Pure Appl. Logic. 35:1987;149-166.
- (1987) Ann. Pure Appl. Logic , vol.35 , pp. 149-166
- Freyd, P.¹

4
- 0007215874
- Amsterdam: North-Holland
- Heyting A. Intuitionism. 1956;North-Holland, Amsterdam.
- (1956) Intuitionism
- Heyting, A.¹

5
- 0010844452
- Conditions related to de Morgan's law
- Johnstone P.T. Conditions related to de Morgan's law. Springer Lect. Notes Math. 753:1979;479-491.
- (1979) Springer Lect. Notes Math. , vol.753 , pp. 479-491
- Johnstone, P.T.¹

6
- 0345805316
- A note on frame distributions
- Kock A., Reyes G. A note on frame distributions. Cahiers de Top. Geom. Diff. Cat. XL-2:1999;127-140.
- (1999) Cahiers de Top. Geom. Diff. Cat. , vol.402 , pp. 127-140
- Kock, A.¹ Reyes, G.²

7
- 84972537469
- Intuitionistische Untersuchungen der formalistischen Logik
- Kuroda S. Intuitionistische Untersuchungen der formalistischen Logik. Nagoya Math. J. 2:1951;35-47.
- (1951) Nagoya Math. J. , vol.2 , pp. 35-47
- Kuroda, S.¹

8
- 34250121996
- On superintuitionistic logic as fragments of proof logic extensions
- Kuznetsov A., Muravitsky A. On superintuitionistic logic as fragments of proof logic extensions. Stud. Logica. 45:1986;76-99.
- (1986) Stud. Logica , vol.45 , pp. 76-99
- Kuznetsov, A.¹ Muravitsky, A.²

9
- 0003665261
- Berlin: Springer
- MacLane S., Moerdijk I. Sheaves in Geometry and Logic. 1992;Springer, Berlin.
- (1992) Sheaves in Geometry and Logic
- MacLane, S.¹ Moerdijk, I.²

10
- 0007063968
- An effective fixed-point theorem in intuitionistic diagonalizable algebras
- Sambin G. An effective fixed-point theorem in intuitionistic diagonalizable algebras. Stud. Logica. 35:1976;345-361.
- (1976) Stud. Logica , vol.35 , pp. 345-361
- Sambin, G.¹

11
- 0038385952
- An algebraic version of Cantor-Bendixson Analysis
- Simmons H. An algebraic version of Cantor-Bendixson Analysis. Springer Lect. Notes Math. 915:1982;310-323.
- (1982) Springer Lect. Notes Math. , vol.915 , pp. 310-323
- Simmons, H.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.