default search action

combined dblp search
author search
venue search
publication search

ask others

John Thomas Canty

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1971
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Canty71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Canty71
John Thomas Canty:
Elementary logic without referential quantification. Notre Dame J. Formal Log. 12(4): 441-446 (1971)
1969
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Canty69
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Canty69
John Thomas Canty:
The numerical epsilon. Notre Dame J. Formal Log. 10(1): 47-63 (1969)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Canty69a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Canty69a
John Thomas Canty:
Leśniewski's terminological explanations as recursive concepts. Notre Dame J. Formal Log. 10(4): 337-369 (1969)
1968
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Canty68
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Canty68
John Thomas Canty:
On symbolizing singulary S5 functions. Notre Dame J. Formal Log. 9(4): 340-342 (1968)
1966
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/CantyS66
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/CantyS66
John Thomas Canty, Thomas W. Scharle:
Note on the singularies of S5. Notre Dame J. Formal Log. 7(1): 108 (1966)
1965
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Canty65
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Canty65
John Thomas Canty:
A note on the axiomatization of Rubin's system (S). Notre Dame J. Formal Log. 6(3): 190-192 (1965)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Canty65a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Canty65a
John Thomas Canty:
Systems classically axiomatized and properly contained in Lewis's S3. Notre Dame J. Formal Log. 6(4): 309-318 (1965)
1964
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Canty64
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Canty64
John Thomas Canty:
A natural deduction system for modal logic. Notre Dame J. Formal Log. 5(3): 199-210 (1964)
1963
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Canty63
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Canty63
John Thomas Canty:
Completeness of Copi's method of deduction. Notre Dame J. Formal Log. 4(2): 142-144 (1963)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.