External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 15, Issue 2

    177 -- 191Manfred E. Szabo. A categorical equivalence of proofs
    192 -- 206Martin W. Bunder. Various systems of set theory based on combinatory logic
    207 -- 224James K. Feibleman. Professor Quine and real classes
    225 -- 244Robert P. McArthur, David Welker. Non-assertoric inference
    245 -- 264Chung-ying Cheng. On referentiality and its conditions
    265 -- 278Howard C. Wasserman. Admissible rules, derivable rules, and extendible logistic systems
    279 -- 288Günther Frei-Imfeld. Über eine Erweiterung der algebraischen Operationen
    289 -- 294Robert Goldblatt. A study of Z modal systems
    295 -- 297George F. Schumm. Z
    298 -- 300Paul Vincent Spade. Ockham on self-reference
    301 -- 311Bohuslav T. Peklo. Sind die deontischen Funktoren distributiv?
    312 -- 316J. Czermak. Matrix calculi SS1M and SS1I compared with axiomatic systems
    317 -- 324Thomas M. Hearne, Carl G. Wagner. Boolean subtractive algebras
    325 -- 330Harold Goldberg, Hugues Leblanc, George Weaver. A strong completeness theorem for 3-valued logic
    331 -- 332Zane Parks, Terry L. Smith. The inadequacy of Hughes and Cresswell's semantics for the CI systems
    333 -- 334Zane Parks. Semantics for contingent identity systems
    335 -- 343Wilson E. Singletary. Many-one degrees associated with partial propositional calculi
    344 -- 346Kenneth W. Collier. A result of extending Bochvar's 3-valued logic
    347 -- 348Ivo Thomas. On a passage of Aristotle
    349 -- 350Alex Blum. A note on natural deduction
    351 -- 352Charles W. Werner. Deductive inferences from particular to general
    runs on