Athanassios Tzouvaras

According to our database1, Athanassios Tzouvaras authored at least 28 papers between 1991 and 2018.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

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


  Loading...