Zach Weber

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Quantifiers in connexive logic (in general and in particular) Logic Journal of the IGPL	2025-11-26	Paper
A note on the logic of Turing's halting paradox The Australasian Journal of Logic	2025-09-25	Paper
On strong and weak logics for paraconsistent computability Journal of Applied Logics - IfCoLog Journal of Logics and their Applications	2025-08-28	Paper
Paradoxes and Inconsistent Mathematics	2024-02-05	Paper
Paraconsistent metatheory: new proofs with old tools Journal of Philosophical Logic	2022-07-15	Paper
Paraconsistency in mathematics	2022-07-05	Paper
On the metatheory for paraconsistent truth	2022-03-25	Paper
Relevant Arithmetic and Mathematical Pluralism The Australasian Journal of Logic	2021-12-29	Paper
Observations on the trivial world Erkenntnis	2021-11-24	Paper
Paradoxes and Inconsistent Mathematics	2021-07-30	Paper
At the limits of thought Outstanding Contributions to Logic	2020-08-10	Paper
Modal logic without contraction in a metatheory without contraction The Review of Symbolic Logic	2020-02-20	Paper
Paraconsistent computation and dialetheic machines Logical Studies of Paraconsistent Reasoning in Science and Mathematics	2020-02-04	Paper
Paraconsistent measurement of the circle	2018-05-14	Paper
A note on contraction-free logic for validity Topoi	2018-03-23	Paper
On paraconsistent downward Löwenheim-Skolem theorems	2017-10-06	Paper
Inconsistent boundaries Synthese	2017-03-08	Paper
Figures, formulae, and functors Visual Reasoning with Diagrams	2015-10-06	Paper
Notes on Inconsistent Set Theory Paraconsistency: Logic and Applications	2013-04-02	Paper
Real analysis in paraconsistent logic Journal of Philosophical Logic	2012-12-04	Paper
Can \(u\) do that? Analysis	2012-11-09	Paper
Transfinite cardinals in paraconsistent set theory The Review of Symbolic Logic	2012-06-11	Paper
Reply to Bjørdal The Review of Symbolic Logic	2011-06-10	Paper
Extensionality and restriction in naive set theory Studia Logica	2010-04-26	Paper
Transfinite numbers in paraconsistent set theory The Review of Symbolic Logic	2010-04-01	Paper

Research outcomes over time

This page was built for person: Zach Weber