Athanassios Tzouvaras

2005
15	EE	Athanassios Tzouvaras: Forcing and antifoundation. Arch. Math. Log. 44(5): 645-661 (2005)
14	EE	Athanassios Tzouvaras: Erratum: "Forcing and antifoundation". Arch. Math. Log. 44(5): 663 (2005)
13	EE	Athanassios Tzouvaras: Cardinality without Enumeration. Studia Logica 80(1): 121-141 (2005)
2004
12	EE	Athanassios Tzouvaras: What is so special with the powerset operation? Arch. Math. Log. 43(6): 723-738 (2004)
2003
11	EE	Nitta Takashi, Okada Tomoko, Athanassios Tzouvaras: Classification of non-well-founded sets and an application. Math. Log. Q. 49(2): 187-200 (2003)
10		Athanassios Tzouvaras: An Axiomatization of 'Very' within systiems of Set Theory. Studia Logica 73(3): 413-430 (2003)
9	EE	Athanassios Tzouvaras: The Logic of Multisets Continued: The Case of Disjunction. Studia Logica 75(3): 287-304 (2003)
2001
8	EE	Athanassios Tzouvaras: Freiling's axioms of symmetry in a general setting and some applications. Arch. Math. Log. 40(2): 131-145 (2001)
7		Athanassios Tzouvaras: Periodicity of Negation. Notre Dame Journal of Formal Logic 42(2): 87-99 (2001)
6	EE	Athanassios Tzouvaras: Objects and their lambda calculus. Theor. Comput. Sci. 258(1-2): 209-232 (2001)
2000
5		Athanassios Tzouvaras: Notions of symmetry n set theory with classes. Ann. Pure Appl. Logic 106(1-3): 275-295 (2000)
1998
4	EE	Athanassios Tzouvaras: The Linear Logic of Multisets. Logic Journal of the IGPL 6(6): 901-916 (1998)
1995
3		Athanassios Tzouvaras: Worlds of Homogeneous Artifacts. Notre Dame Journal of Formal Logic 36(3): 454-474 (1995)
1994
2		Athanassios Tzouvaras: Omega- and Beta-Models of Alternative Set Theory. Math. Log. Q. 40: 547-569 (1994)
1992
1		Athanassios Tzouvaras: On Expandability of Models of Peano Arithmetic to Models of the Alternative Set Theory. J. Symb. Log. 57(2): 452-460 (1992)

Coauthor Index

1	Nitta Takashi	[11]
2	Okada Tomoko	[11]