# Athanassios Tzouvaras

According to our database

Collaborative distances:

^{1}, Athanassios Tzouvaras authored at least 28 papers between 1991 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Propositional superposition logic.

Logic Journal of the IGPL, 2018

2015

Totally non-immune sets.

Math. Log. Q., 2015

2014

Large transitive models in local ZFC.

Arch. Math. Log., 2014

2011

A combinatorial result related to the consistency of New Foundations.

Ann. Pure Appl. Logic, 2011

Erratum to: Localizing the axioms.

Arch. Math. Log., 2011

2010

Localizing the axioms.

Arch. Math. Log., 2010

2007

A reduction of the NF consistency problem.

J. Symb. Log., 2007

2005

Cardinality without Enumeration.

Studia Logica, 2005

Erratum: "Forcing and antifoundation".

Arch. Math. Log., 2005

Forcing and antifoundation.

Arch. Math. Log., 2005

2004

What is so special with the powerset operation?

Arch. Math. Log., 2004

2003

The Logic of Multisets Continued: The Case of Disjunction.

Studia Logica, 2003

An Axiomatization of 'Very' within systiems of Set Theory.

Studia Logica, 2003

Classification of non-well-founded sets and an application.

Math. Log. Q., 2003

2001

Objects and their lambda calculus.

Theor. Comput. Sci., 2001

Periodicity of Negation.

Notre Dame Journal of Formal Logic, 2001

Freiling's axioms of symmetry in a general setting and some applications.

Arch. Math. Log., 2001

2000

Notions of symmetry n set theory with classes.

Ann. Pure Appl. Logic, 2000

1998

Logic of Knowledge and Utterance and the Liar.

J. Philosophical Logic, 1998

The Linear Logic of Multisets.

Logic Journal of the IGPL, 1998

Modeling vagueness by nonstandardness.

Fuzzy Sets and Systems, 1998

1997

The Order Structure of Continua.

Synthese, 1997

1996

Aspects of analytic deduction.

J. Philosophical Logic, 1996

1995

Worlds of Homogeneous Artifacts.

Notre Dame Journal of Formal Logic, 1995

1994

Omega- and Beta-Models of Alternative Set Theory.

Math. Log. Q., 1994

1993

Significant parts and identity of artifacts.

Notre Dame Journal of Formal Logic, 1993

1992

On Expandability of Models of Peano Arithmetic to Models of the Alternative Set Theory.

J. Symb. Log., 1992

1991

A Note on Real Subsets of A Recursively Saturated Model.

Math. Log. Q., 1991