Combinators and Categorial Grammar. - Peter M. Simons (Notre Dame J. Formal Log., 1989)

Tree proofs for syllogistic. - Peter M. Simons (Stud Logica, 1989)

The Logic of Location. - Peter M. Simons (Synth., 2006)

Antecedence and consequence in design rationale systems. - Vassilis Agouridas; Peter M. Simons (Artif. Intell. Eng. Des. Anal. Manuf., 2008)

Leśniewski's Logic. - Peter M. Simons (Logic from Russell to Church, 2009)

Approaching the Alethic Modal Hexagon of Opposition. - Peter M. Simons (Logica Universalis, 2012)

Why Nothing Fails to Exist . - Peter M. Simons (FLAP, 2017)

Representing Representing: The Ontology of Aboutness. - Peter M. Simons (FOIS, 2018)

Term Logic. - Peter M. Simons (Axioms, 2020)