Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Notre Dame Journal of Formal Logic, Volume 45

> Home > Journals > Notre Dame Journal of Formal Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 45, Number 1, 2004

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Wehmeier04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Wehmeier04
Kai Frederick Wehmeier:
Wittgensteinian Predicate Logic. 1-11
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Kuhn04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Kuhn04
Steven T. Kuhn:
A Simple Embedding of T into Double S5. 13-18
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Pattinson04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Pattinson04
Dirk Pattinson:
Expressive Logics for Coalgebras via Terminal Sequence Induction. 19-33
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Bakel04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Bakel04
Steffen van Bakel:
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing. 35-63

Volume 45, Number 2, 2004

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Skura04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Skura04
Tomasz F. Skura:
Maximality and Refutability. 65-72
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Linnebo04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Linnebo04
Øystein Linnebo:
Frege's Proof of Referentiality. 73-98
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Hyttinen04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Hyttinen04
Tapani Hyttinen:
Types in Abstract Elementary Classes. 99-108
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Mancosu04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Mancosu04
Paolo Mancosu:
Book Review: Kurt Gödel. Collected Works, Volumes IV and V. 109-125

Volume 45, Number 3, 2004

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Monk04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Monk04
J. Donald Monk:
On General Boundedness and Dominating Cardinals. 129-146
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/DowneyY04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/DowneyY04
Rod Downey, Liang Yu:
There Are No Maximal Low D.C.E. Degrees. 147-159
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Loveys04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Loveys04
James Loveys:
Linear Reducts of the Complex Field. 161-190

Volume 45, Number 4, 2004

- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Aoyama04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Aoyama04
Hiroshi Aoyama:
LK, LJ, Dual Intuitionistic Logic, and Quantum Logic. 193-213
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Richman04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Richman04
Fred Richman:
Equivalence of Syllogisms. 215-233
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/AwodeyE04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/AwodeyE04
Steven Awodey, Jonas Eliasson:
Ultrasheaves and Double Negation. 235-245
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Lewis04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Lewis04
Albert C. Lewis:
Book Review: Geraldine Brady. From Peirce to Skolem: A Neglected Chapter in the History of Logic. 247-256

a service of

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.