Allen P. Hazen

Publication Activity (10 Years)

Years Active: 1995-2018
Publications (10 Years): 4

Top Topics

Directional Derivatives

Inference Rules

Top Venues

Logica Universalis

FLAIRS Conference

Publications

Allen P. Hazen, Francis Jeffry Pelletier
Pecularities of Some Three- and Four-Valued Second Order Logics. Logica Universalis 12 (3-4) (2018)
Allen P. Hazen, Francis Jeffry Pelletier
Second-Order Logic of Paradox. Notre Dame J. Formal Log. 59 (4) (2018)
Allen P. Hazen, Francis Jeffry Pelletier
K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You. CoRR (2017)
Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen
Automated Reasoning for the Dialetheic Logic RM3. FLAIRS Conference (2017)
Allen P. Hazen, Francis Jeffry Pelletier
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. Stud Logica 102 (6) (2014)
Allen P. Hazen, Benjamin G. Rin, Kai Frederick Wehmeier
Actuality in Propositional Modal Logic. Stud Logica 101 (3) (2013)
Allen P. Hazen
Relations in Monadic Third-Order Logic. J. Philos. Log. 26 (6) (1997)
Allen P. Hazen
On quantifying out. J. Philos. Log. 24 (3) (1995)