VOL. 41 · NO. 1 | 2000
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 41 (1), (2000)
No abstract available
Articles
Lloyd Humberstone
Notre Dame J. Formal Logic 41 (1), 1-40, (2000) DOI: 10.1305/ndjfl/1027953481
KEYWORDS: implicational, BCK-algebras, modal logic, rules, 03B45, 03B50
Stephanie Cawthorne, David Kueker
Notre Dame J. Formal Logic 41 (1), 41-52, (2000) DOI: 10.1305/ndjfl/1027953482
KEYWORDS: Forcing, generic model, 03C25, 03C50
Hilary Putnam
Notre Dame J. Formal Logic 41 (1), 53-58, (2000) DOI: 10.1305/ndjfl/1027953483
KEYWORDS: models of arithmetic, nonstandard models of arithmetic, 03, 03C62, 03H15
Jarosław Pykacz
Notre Dame J. Formal Logic 41 (1), 59-76, (2000) DOI: 10.1305/ndjfl/1027953484
KEYWORDS: orthomodular lattice, disjunction, conjunction, Mackey decomposition, 03G12, 81P10
Reviews
Robert C. Koons
Notre Dame J. Formal Logic 41 (1), 77-94, (2000) DOI: 10.1305/ndjfl/1027953485
KEYWORDS: Truth, Tarski, liar paradox, vagueness, deflationism, 03B65, 03B52
No abstract available
Back Matter
Notre Dame J. Formal Logic 41 (1), (2000)
No abstract available
Notre Dame J. Formal Logic 41 (1), (2000)
No abstract available
Back to Top