Peter M. Simons

Publication Activity (10 Years)

Years Active: 1989-2020
Publications (10 Years): 3

Top Topics

Correlation Function

Automated Reasoning

Formal Representation

Top Venues

Logica Universalis

Publications

Peter M. Simons
Term Logic. Axioms 9 (1) (2020)
Peter M. Simons
Representing Representing: The Ontology of Aboutness. FOIS (2018)
Peter M. Simons
Why Nothing Fails to Exist . FLAP 4 (11) (2017)
Peter M. Simons
Approaching the Alethic Modal Hexagon of Opposition. Logica Universalis 6 (1-2) (2012)
Vassilis Agouridas, Peter M. Simons
Antecedence and consequence in design rationale systems. Artif. Intell. Eng. Des. Anal. Manuf. 22 (4) (2008)
Peter M. Simons
The Logic of Location. Synth. 150 (3) (2006)
Peter M. Simons
Combinators and Categorial Grammar. Notre Dame J. Formal Log. 30 (2) (1989)
Peter M. Simons
Tree proofs for syllogistic. Stud Logica 48 (4) (1989)