Ray E. Jennings

Affiliations:
  • Simon Fraser University, Burnaby, BC, Canada


According to our database1, Ray E. Jennings authored at least 21 papers between 1974 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
<i>FDE</i>: A Logic of Clutters.
Proceedings of the Paraconsistency: Logic and Applications, 2013

2011
On a New Idiom in the Study of Entailment.
Logica Universalis, 2011

2010
Articular models for first-degree paraconsistent systems.
Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

2007
An axiomatization of family resemblance.
J. Appl. Log., 2007

Language, Logic, and the Brain.
Int. J. Cogn. Informatics Nat. Intell., 2007

2005
A Deontic Counterpart of Lewis's S1.
Notre Dame J. Formal Log., 2005

2001
The megarians and the stoics.
Proceedings of the Greek, Indian and Arabic Logic, 2001

Natural Frames and Self-dual Logics.
Fundam. Informaticae, 2001

2000
Revisiting completeness for the K<sub>n</sub> modal logics: A new proof.
Log. J. IGPL, 2000

1996
Visualization in propositional logic.
IEEE Computer Graphics and Applications, 1996

1995
Propositional n-traces: Visualizing a Problem in Philosophic Logic.
Proceedings of the 6th IEEE Visualization Conference, 1995

1991
Generalised Inference and Inferential Modelling.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Inferential Modelling Technique for Constructing Second Generation Knowledge Based Systems.
Proceedings of the Seventh International Conference on Data Engineering, 1991

1988
Modal Undefinability in Some Alternative Leibnizian Frames.
Math. Log. Q., 1988

1981
Some remarks on (weakly) weak modal logics.
Notre Dame J. Formal Log., 1981

Probabilistic considerations on modal semantics.
Notre Dame J. Formal Log., 1981

The n-adic first-order undefinability of the Geach formula.
Notre Dame J. Formal Log., 1981

A note on the axiomatisation of brouwersche modal logic.
J. Philos. Log., 1981

1980
Universal First-Order Definability in Modal Logic.
Math. Log. Q., 1980

Inference and necessity.
J. Philos. Log., 1980

1974
A utilitarian semantics for deontic logic.
J. Philos. Log., 1974


  Loading...