Allen P. Hazen

According to our database, Allen P. Hazen authored at least 22 papers between 1972 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

When is a Schema Not a Schema? On a Remark by Suszko.

Lloyd Humberstone, Allen Hazen

Stud Logica, 2020

2018

Second-Order Logic of Paradox.

Allen P. Hazen, Francis Jeffry Pelletier

Notre Dame J. Formal Log., 2018

Pecularities of Some Three- and Four-Valued Second Order Logics.

Allen P. Hazen, Francis Jeffry Pelletier

Logica Universalis, 2018

Making Belnap's "Useful 4-Valued Logic" Useful.

Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen

Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

2017

K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You.

Allen P. Hazen, Francis Jeffry Pelletier

CoRR, 2017

Automated Reasoning for the Dialetheic Logic RM3.

Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

2014

Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.

Allen P. Hazen, Francis Jeffry Pelletier

Stud Logica, 2014

2013

Actuality in Propositional Modal Logic.

Allen P. Hazen, Benjamin G. Rin, Kai Frederick Wehmeier

Stud Logica, 2013

2012

A History of Natural Deduction.

Francis Jeffry Pelletier, Allen P. Hazen

Proceedings of the Logic: A History of its Central Concepts, 2012

On the Ternary Relation and Conditionality.

J. C. Beall, Ross T. Brady, J. Michael Dunn, Allen Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John K. Slaney, Richard Sylvan

J. Philos. Log., 2012

2006

Relevant Restricted Quantification.

J. C. Beall, Ross T. Brady, Allen Hazen, Graham Priest, Greg Restall

J. Philos. Log., 2006

2004

Similarity Relations and the Preservation of Solidity.

Allen Hazen, Lloyd Humberstone

J. Log. Lang. Inf., 2004

1998

Predicative Logic and Formal Arithmetic.

John P. Burgess, Allen Hazen

Notre Dame J. Formal Log., 1998

1997

Relations in Monadic Third-Order Logic.

Allen P. Hazen

J. Philos. Log., 1997

1995

On quantifying out.

Allen P. Hazen

J. Philos. Log., 1995

1992

The interpretability of Robinson arithmentic in the rafified second-order theory of dense linear order.

Allen Hazen

Notre Dame J. Formal Log., 1992

1990

Actuality and Quantification.

Allen Hazen

Notre Dame J. Formal Log., 1990

1987

Natural deduction and Hilbert's ɛ-operator.

Allen Hazen

J. Philos. Log., 1987

1981

Davis's formulation of Kripke's theory of truth: A correction.

Allen Hazen

J. Philos. Log., 1981

1978

The eliminability of the actuality operator in propositional modal logic.

Allen Hazen

Notre Dame J. Formal Log., 1978

1976

Expressive completeness in modal language.

Allen Hazen

J. Philos. Log., 1976

1972

Semantics for S4.2.

Allen Hazen

Notre Dame J. Formal Log., 1972