We stand with Ukraine  

Athanassios Tzouvaras

Orcid: 0000-0003-2808-6961

According to our database1, Athanassios Tzouvaras authored at least 32 papers between 1991 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Some structural similarities between uncountable sets, powersets and the universe.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Math. Log. Q., 2022

2020
Russell's typicality as another randomness notion.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Math. Log. Q., 2020

Algebraic semantics for propositional superposition logic.
[BibTeX]
[DOI]
Athanassios Tzouvaras
J. Appl. Non Class. Logics, 2020

2019
Semantics for first-order superposition logic.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Log. J. IGPL, 2019

2018
Propositional superposition logic.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Log. J. IGPL, 2018

2015
Totally non-immune sets.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Math. Log. Q., 2015

2014
Large transitive models in local ZFC.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Arch. Math. Log., 2014

2011
A combinatorial result related to the consistency of New Foundations.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Ann. Pure Appl. Log., 2011

Erratum to: Localizing the axioms.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Arch. Math. Log., 2011

2010
Localizing the axioms.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Arch. Math. Log., 2010

2007
A reduction of the NF consistency problem.
[BibTeX]
[DOI]
Athanassios Tzouvaras
J. Symb. Log., 2007

2005
Cardinality without Enumeration.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Stud Logica, 2005

Erratum: "Forcing and antifoundation".
[BibTeX]
[DOI]
Athanassios Tzouvaras
Arch. Math. Log., 2005

Forcing and antifoundation.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Arch. Math. Log., 2005

2004
What is so special with the powerset operation?
[BibTeX]
[DOI]
Athanassios Tzouvaras
Arch. Math. Log., 2004

2003
The Logic of Multisets Continued: The Case of Disjunction.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Stud Logica, 2003

An Axiomatization of 'Very' within systiems of Set Theory.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Stud Logica, 2003

Classification of non-well-founded sets and an application.
[BibTeX]
[DOI]
Nitta Takashi
,
Okada Tomoko
,
Athanassios Tzouvaras
Math. Log. Q., 2003

2001
Objects and their lambda calculus.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Theor. Comput. Sci., 2001

Periodicity of Negation.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Notre Dame J. Formal Log., 2001

Freiling's axioms of symmetry in a general setting and some applications.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Arch. Math. Log., 2001

2000
Notions of symmetry n set theory with classes.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Ann. Pure Appl. Log., 2000

1998
Logic of Knowledge and Utterance and the Liar.
[BibTeX]
[DOI]
Athanassios Tzouvaras
J. Philos. Log., 1998

The Linear Logic of Multisets.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Log. J. IGPL, 1998

Modeling vagueness by nonstandardness.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Fuzzy Sets Syst., 1998

1997
The Order Structure of Continua.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Synth., 1997

1996
Aspects of analytic deduction.
[BibTeX]
[DOI]
Athanassios Tzouvaras
J. Philos. Log., 1996

1995
Worlds of Homogeneous Artifacts.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Notre Dame J. Formal Log., 1995

1994
Omega- and Beta-Models of Alternative Set Theory.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Math. Log. Q., 1994

1993
Significant parts and identity of artifacts.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Notre Dame J. Formal Log., 1993

1992
On Expandability of Models of Peano Arithmetic to Models of the Alternative Set Theory.
[BibTeX]
[DOI]
Athanassios Tzouvaras
J. Symb. Log., 1992

1991
A Note on Real Subsets of A Recursively Saturated Model.
[BibTeX]
[DOI]
Athanassios Tzouvaras
Math. Log. Q., 1991


  Loading...