Athanassios Tzouvaras

发表

A Note on Real Subsets of A Recursively Saturated Model

Athanassios Tzouvaras, 1991, Math. Log. Q..

The Logic of Multisets Continued: The Case of Disjunction

Athanassios Tzouvaras, A. Tzouvaras, 2003, Stud Logica.

Erratum to: Localizing the axioms

Athanassios Tzouvaras, 2011, Arch. Math. Log..

Notions of symmetry n set theory with classes

Athanassios Tzouvaras, 2000, Ann. Pure Appl. Log..

Omega- and Beta-Models of Alternative Set Theory

Athanassios Tzouvaras, 1994, Math. Log. Q..

Classification of non-well-founded sets and an application

Athanassios Tzouvaras, Nitta Takashi, Okada Tomoko, 2003, Math. Log. Q..

A Reduction of the NF consistency Problem

Athanassios Tzouvaras, A. Tzouvaras, 2007, Journal of Symbolic Logic.

Modeling vagueness by nonstandardness

Athanassios Tzouvaras, 1998, Fuzzy Sets Syst..

The Linear Logic of Multisets

Athanassios Tzouvaras, 1998, Log. J. IGPL.

Erratum: “Forcing and antifoundation”

Athanassios Tzouvaras, 2005, Arch. Math. Log..

Forcing and antifoundation

Athanassios Tzouvaras, 2005, Arch. Math. Log..

A combinatorial result related to the consistency of New Foundations

Athanassios Tzouvaras, A. Tzouvaras, 2011, Ann. Pure Appl. Log..

Worlds of Homogeneous Artifacts

Athanassios Tzouvaras, 1995, Notre Dame J. Formal Log..

An Axiomatization of 'Very' within systiems of Set Theory

Athanassios Tzouvaras, A. Tzouvaras, 2003, Stud Logica.

Russell's typicality as another randomness notion

Athanassios Tzouvaras, 2020, Math. Log. Q..

Significant parts and identity of artifacts

Athanassios Tzouvaras, 1993, Notre Dame J. Formal Log..

Algebraic semantics for propositional superposition logic

Athanassios Tzouvaras, A. Tzouvaras, 2020, J. Appl. Non Class. Logics.

Propositional superposition logic

Athanassios Tzouvaras, 2018, Log. J. IGPL.

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

Athanassios Tzouvaras, 2001, Arch. Math. Log..

On expandability of models of Peano arithmetic to models of the alternative set theory

Athanassios Tzouvaras, A. Tzouvaras, 1992, Journal of Symbolic Logic.

Large transitive models in local ZFC

Athanassios Tzouvaras, 2014, Arch. Math. Log..

Logic of Knowledge and Utterance and the Liar

Athanassios Tzouvaras, 1998, J. Philos. Log..

The Order Structure of Continua

Athanassios Tzouvaras, 2004, Synthese.

Correction to the paper: 'Anotion of measure for classes in AST'

Athanassios Tzouvaras, 1988 .

Aspects of analytic deduction

Athanassios Tzouvaras, 1996, J. Philos. Log..

Cardinality without Enumeration

Athanassios Tzouvaras, A. Tzouvaras, 2005, Stud Logica.

Totally non-immune sets

Athanassios Tzouvaras, 2015, Math. Log. Q..

What is so special with the powerset operation?

Athanassios Tzouvaras, 2004, Arch. Math. Log..

Localizing the axioms

Athanassios Tzouvaras, A. Tzouvaras, 2010, Arch. Math. Log..

Objects and their lambda calculus

Athanassios Tzouvaras, 2001, Theor. Comput. Sci..

Non-Circular, Non-Well-Founded Set Universes

Athanassios Tzouvaras, 1993, Math. Log. Q..

Semantics for first-order superposition logic

Athanassios Tzouvaras, 2019, Log. J. IGPL.

Periodicity of Negation

Athanassios Tzouvaras, A. Tzouvaras, 2001, Notre Dame J. Formal Log..