Zach Weber

18 papers Journal 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
A note on the expressive completeness of LP in a metatheory without negation.
Log. J. IGPL
Hitoshi Omori, Zach Weber
2025 J jnl
A note on the logic of Turing's halting paradox.
Australas. J. Log.
Zach Weber, Fernando Cano-Jorge
2025 J jnl
Quantifiers in connexive logic (in general and in particular).
Log. J. IGPL
Heinrich Wansing, Zach Weber
2022 J jnl
Paraconsistent Metatheory: New Proofs with Old Tools.
J. Philos. Log.
Guillermo Badia, Zach Weber, Patrick Girard
2021 J jnl
Relevant Arithmetic and Mathematical Pluralism.
Australas. J. Log.
Zach Weber
2019 J jnl
Editors' introduction: Special issue on non-classical modal and predicate logics.
Log. J. IGPL
Petr Cintula, Zach Weber, Shier Ju
2019 J jnl
Modal Logic without Contraction in a Metatheory without Contraction.
Rev. Symb. Log.
Patrick Girard, Zach Weber
2017 J jnl
Front Matter.
Australas. J. Log.
Zach Weber, Maarten McKubre-Jordens, Patrick Girard
2017 J jnl
Paraconsistent Measurement of the Circle.
Australas. J. Log.
Zach Weber, Maarten McKubre-Jordens
2015 J jnl
Inconsistent boundaries.
Synth.
Zach Weber, A. J. Cotnoir
2013 J jnl
Existence and (E)xistence.
J. Exp. Theor. Artif. Intell.
Zach Weber, Heather Dyke
2013 — ch.
Figures, Formulae, and Functors.
Visual Reasoning with Diagrams
Zach Weber
2013 — ch.
Notes on Inconsistent Set Theory.
Paraconsistency: Logic and Applications
Zach Weber
2012 J jnl
Real Analysis in Paraconsistent Logic.
J. Philos. Log.
Maarten McKubre-Jordens, Zach Weber
2012 J jnl
Transfinite Cardinals in Paraconsistent Set Theory.
Rev. Symb. Log.
Zach Weber
2011 J jnl
Reply to Bjørdal.
Rev. Symb. Log.
Zach Weber
2010 J jnl
Extensionality and Restriction in Naive Set Theory.
Stud Logica
Zach Weber
2010 J jnl
Transfinite numbers in Paraconsistent Set Theory.
Rev. Symb. Log.
Zach Weber