| Publication | Date of Publication | Type |
|---|
An observer-based approach to the sorites paradox and the logic derived from that
Logic Journal of the IGPL | 2025-09-30 | Paper |
Sets with dependent elements: a formalization of Castoriadis' notion of magma
Studia Logica | 2024-09-03 | Paper |
Some structural similarities between uncountable sets, powersets and the universe
Mathematical Logic Quarterly | 2023-09-12 | Paper |
Russell's typicality as another randomness notion
Mathematical Logic Quarterly | 2023-09-11 | Paper |
Consequences of Vop\v{e}nka's Principle over weak set theories
(available as arXiv preprint) | 2023-03-27 | Paper |
Localizing the axioms
(available as arXiv preprint) | 2023-03-27 | Paper |
Large transitive models in local {\rm ZFC}
(available as arXiv preprint) | 2023-03-27 | Paper |
Typicality \`{a} la Russell in set theory
(available as arXiv preprint) | 2023-03-21 | Paper |
| Asymptotic typicality degrees of properties over finite structures | 2023-03-19 | Paper |
| Sets with dependent elements: A formalization of Castoriadis' notion of magma | 2023-03-16 | Paper |
Typicality à la Russell in set theory
Notre Dame Journal of Formal Logic | 2022-07-13 | Paper |
Semantics for first-order superposition logic
Logic Journal of the IGPL | 2021-12-03 | Paper |
Algebraic semantics for propositional superposition logic
Journal of Applied Non-Classical Logics | 2021-06-11 | Paper |
Propositional superposition logic
Logic Journal of the IGPL | 2019-06-24 | Paper |
Consequences of Vopěnka's principle over weak set theories
Fundamenta Mathematicae | 2016-09-02 | Paper |
Totally non-immune sets
Mathematical Logic Quarterly | 2015-03-19 | Paper |
Large transitive models in local ZFC
Archive for Mathematical Logic | 2014-05-12 | Paper |
A combinatorial result related to the consistency of New Foundations
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
Erratum to: ``Localizing the axioms''
Archive for Mathematical Logic | 2011-05-11 | Paper |
| Combinatorics related to NF consistency | 2010-09-02 | Paper |
Localizing the axioms
Archive for Mathematical Logic | 2010-07-06 | Paper |
How effective indeed is present-day mathematics?
Logic and Logical Philosophy | 2008-01-28 | Paper |
A Reduction of the NF consistency Problem
Journal of Symbolic Logic | 2007-03-12 | Paper |
Cardinality without enumeration
Studia Logica | 2006-01-30 | Paper |
Forcing and antifoundation
Archive for Mathematical Logic | 2005-08-17 | Paper |
What is so special with the powerset operation?
Archive for Mathematical Logic | 2004-10-01 | Paper |
Uncountable cardinals have the same monadic ∀<sub>1</sub><sup>1</sup>positive theory over large sets
Fundamenta Mathematicae | 2004-08-19 | Paper |
The logic of multisets continued: The case of disjunction
Studia Logica | 2004-01-14 | Paper |
Periodicity of negation
Notre Dame Journal of Formal Logic | 2003-10-13 | Paper |
An axiomatization of `very' within systems of set theory
Studia Logica | 2003-06-09 | Paper |
Positive set‐operators of low complexity
Mathematical Logic Quarterly | 2003-05-22 | Paper |
Classification of non‐well‐founded sets and an application
Mathematical Logic Quarterly | 2003-04-10 | Paper |
DISCRETE ORDERINGS AND COMMUTATIVE MONOIDS
Communications in Algebra | 2002-09-05 | Paper |
NEARNESS RELATIONS IN DISCRETELY ORDERED RINGS
Communications in Algebra | 2002-07-25 | Paper |
Freiling's axioms of symmetry in a general setting and some applications
Archive for Mathematical Logic | 2002-02-27 | Paper |
Notions of symmetry in set theory with classes
Annals of Pure and Applied Logic | 2002-01-31 | Paper |
Objects and their lambda calculus
Theoretical Computer Science | 2001-08-20 | Paper |
The linear logic of multisets
Logic Journal of the IGPL | 2000-05-15 | Paper |
Modeling vagueness by nonstandardness
Fuzzy Sets and Systems | 2000-02-08 | Paper |
The order structure of continua
Synthese | 1999-10-10 | Paper |
Logic of knowledge and utterance and the liar
Journal of Philosophical Logic | 1998-05-26 | Paper |
Aspects of analytic deduction
Journal of Philosophical Logic | 1997-02-20 | Paper |
Worlds of homogeneous artifacts
Notre Dame Journal of Formal Logic | 1996-03-31 | Paper |
Omega‐ and Beta‐Models of Alternative Set Theory
Mathematical Logic Quarterly | 1994-12-08 | Paper |
Non‐circular, non‐well‐founded set universes
Mathematical Logic Quarterly | 1994-08-31 | Paper |
Significant parts and identity of artifacts
Notre Dame Journal of Formal Logic | 1994-03-22 | Paper |
On expandability of models of Peano arithmetic to models of the alternative set theory
Journal of Symbolic Logic | 1993-04-01 | Paper |
A Note on Real Subsets of A Recursively Saturated Model
Mathematical Logic Quarterly | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4097365 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4053605 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4053606 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4023268 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4031676 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3999913 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4014727 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3993579 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3993580 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3941532 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3873329 (Why is no real title available?) | 1980-01-01 | Paper |
Semantics for first-order superposition logic
(available as arXiv preprint) | N/A | Paper |
