![Robert E. Clay. A standard form for Łukasiewicz many-valued logics. Notre Dame journal of formal logic, vol. 4 (1963), pp. 59–66. | The Journal of Symbolic Logic | Cambridge Core Robert E. Clay. A standard form for Łukasiewicz many-valued logics. Notre Dame journal of formal logic, vol. 4 (1963), pp. 59–66. | The Journal of Symbolic Logic | Cambridge Core](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200057455/resource/name/firstPage-S0022481200057455a.jpg)
Robert E. Clay. A standard form for Łukasiewicz many-valued logics. Notre Dame journal of formal logic, vol. 4 (1963), pp. 59–66. | The Journal of Symbolic Logic | Cambridge Core
![Notre Dame Journal of Formal Logic; Volume XXI, No. 2; April, 1980: Rickey, V. Frederick (editor): Amazon.com: Books Notre Dame Journal of Formal Logic; Volume XXI, No. 2; April, 1980: Rickey, V. Frederick (editor): Amazon.com: Books](https://m.media-amazon.com/images/I/41AMr7tPOtL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
Notre Dame Journal of Formal Logic; Volume XXI, No. 2; April, 1980: Rickey, V. Frederick (editor): Amazon.com: Books
![Notre Dame Journal of Formal Logic; Volume XXV, No.4; October, 1984: Lepore, Ernest; Maddy, Penelope & Nadel, Mark E. (editors): Amazon.com: Books Notre Dame Journal of Formal Logic; Volume XXV, No.4; October, 1984: Lepore, Ernest; Maddy, Penelope & Nadel, Mark E. (editors): Amazon.com: Books](https://m.media-amazon.com/images/I/81CRkV5BuZL._AC_UF1000,1000_QL80_.jpg)
Notre Dame Journal of Formal Logic; Volume XXV, No.4; October, 1984: Lepore, Ernest; Maddy, Penelope & Nadel, Mark E. (editors): Amazon.com: Books
![Notre Dame Journal of Formal Logic; Volume XXIV, No.1; January, 1983: Lepore, Ernest; Maddy, Penelope & Nadel, Mark E. (editors): Amazon.com: Books Notre Dame Journal of Formal Logic; Volume XXIV, No.1; January, 1983: Lepore, Ernest; Maddy, Penelope & Nadel, Mark E. (editors): Amazon.com: Books](https://m.media-amazon.com/images/I/81VevQK7JbL._AC_UF350,350_QL50_.jpg)
Notre Dame Journal of Formal Logic; Volume XXIV, No.1; January, 1983: Lepore, Ernest; Maddy, Penelope & Nadel, Mark E. (editors): Amazon.com: Books
![Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 (1962), pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 (1962), pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200113945/resource/name/firstPage-S0022481200113945a.jpg)
Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 (1962), pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional
![Ivo Thomas. Functional completeness of Henkin's prepositional fragments. Notre Dame journal of formal logic, vol. 1 (1960), pp. 107–110. | The Journal of Symbolic Logic | Cambridge Core Ivo Thomas. Functional completeness of Henkin's prepositional fragments. Notre Dame journal of formal logic, vol. 1 (1960), pp. 107–110. | The Journal of Symbolic Logic | Cambridge Core](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200120122/resource/name/firstPage-S0022481200120122a.jpg)
Ivo Thomas. Functional completeness of Henkin's prepositional fragments. Notre Dame journal of formal logic, vol. 1 (1960), pp. 107–110. | The Journal of Symbolic Logic | Cambridge Core
![Libro NOTRE DAME JOURNAL OF FORMAL LOGIC. VOLUME VIII, NUMBER 4, OCTOBER 1967. De Varios Autores - Buscalibre Libro NOTRE DAME JOURNAL OF FORMAL LOGIC. VOLUME VIII, NUMBER 4, OCTOBER 1967. De Varios Autores - Buscalibre](https://images.cdn1.buscalibre.com/fit-in/360x360/8f/17/8f170f6d017538a65af163ee2be1fd43.jpg)
Libro NOTRE DAME JOURNAL OF FORMAL LOGIC. VOLUME VIII, NUMBER 4, OCTOBER 1967. De Varios Autores - Buscalibre
![Notre Dame Journal of Formal Logic; Volume X, No. 1; January 1969: Sobocinski, Bolestaw (editor): Amazon.com: Books Notre Dame Journal of Formal Logic; Volume X, No. 1; January 1969: Sobocinski, Bolestaw (editor): Amazon.com: Books](https://m.media-amazon.com/images/I/911ocPy0ILL._AC_UF1000,1000_QL80_.jpg)
Notre Dame Journal of Formal Logic; Volume X, No. 1; January 1969: Sobocinski, Bolestaw (editor): Amazon.com: Books
![Notre Dame Journal of Formal Logic; Volume XXV, No.4; October, 1984: Lepore, Ernest; Maddy, Penelope & Nadel, Mark E. (editors): Amazon.com: Books Notre Dame Journal of Formal Logic; Volume XXV, No.4; October, 1984: Lepore, Ernest; Maddy, Penelope & Nadel, Mark E. (editors): Amazon.com: Books](https://m.media-amazon.com/images/I/41lchKU3VzL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
Notre Dame Journal of Formal Logic; Volume XXV, No.4; October, 1984: Lepore, Ernest; Maddy, Penelope & Nadel, Mark E. (editors): Amazon.com: Books
![PDF) Gilbert, Michael A. 1976. "A Heuristic Procedure for Natural Deduction Derivations Using Reductio Ad Absurdum." Notre Dame Journal of Formal Logic 76O 76; 17: 638 639 English Journal Article:638. | Michael A Gilbert - Academia.edu PDF) Gilbert, Michael A. 1976. "A Heuristic Procedure for Natural Deduction Derivations Using Reductio Ad Absurdum." Notre Dame Journal of Formal Logic 76O 76; 17: 638 639 English Journal Article:638. | Michael A Gilbert - Academia.edu](https://0.academia-photos.com/attachment_thumbnails/33164872/mini_magick20190405-18698-2w5zly.png?1554510632)
PDF) Gilbert, Michael A. 1976. "A Heuristic Procedure for Natural Deduction Derivations Using Reductio Ad Absurdum." Notre Dame Journal of Formal Logic 76O 76; 17: 638 639 English Journal Article:638. | Michael A Gilbert - Academia.edu
![Gerald J. Massey. Note on Copi's system. Notre Dame journal of formal logic, vol. 4 (1963), pp. 140–141. - John Thomas Canty. Completeness of Copi's method of deduction. Notre Dame journal of Gerald J. Massey. Note on Copi's system. Notre Dame journal of formal logic, vol. 4 (1963), pp. 140–141. - John Thomas Canty. Completeness of Copi's method of deduction. Notre Dame journal of](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200056061/resource/name/firstPage-S0022481200056061a.jpg)
Gerald J. Massey. Note on Copi's system. Notre Dame journal of formal logic, vol. 4 (1963), pp. 140–141. - John Thomas Canty. Completeness of Copi's method of deduction. Notre Dame journal of
27 Notre Dame Journal of Formal Logic Volume V, Number 1, January 1964 DIRECT CONSISTENCY PROOF OF GENTZEN'S SYSTEM OF NATURAL D
![Libro NOTRE DAME JOURNAL OF FORMAL LOGIC. VOLUME VI, NUMBER 3, JULY 1965. De Varios Autores - Buscalibre Libro NOTRE DAME JOURNAL OF FORMAL LOGIC. VOLUME VI, NUMBER 3, JULY 1965. De Varios Autores - Buscalibre](https://images.cdn2.buscalibre.com/fit-in/360x360/26/b4/26b4065302088a415780657d2771eaaf.jpg)
Libro NOTRE DAME JOURNAL OF FORMAL LOGIC. VOLUME VI, NUMBER 3, JULY 1965. De Varios Autores - Buscalibre
![Notre Dame Journal of Formal Logic; Volume IX, No. 4; October, 1968: Sobocinski, Bolestaw (editor): Amazon.com: Books Notre Dame Journal of Formal Logic; Volume IX, No. 4; October, 1968: Sobocinski, Bolestaw (editor): Amazon.com: Books](https://m.media-amazon.com/images/I/416nCfGnzxL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
Notre Dame Journal of Formal Logic; Volume IX, No. 4; October, 1968: Sobocinski, Bolestaw (editor): Amazon.com: Books
![PDF) Meyer, J.J.: A Different Approach to Deontic Logic: Deontic Logic Viewed as Variant of Dynamic Logic. Notre Dame Journal of Formal Logic 29 PDF) Meyer, J.J.: A Different Approach to Deontic Logic: Deontic Logic Viewed as Variant of Dynamic Logic. Notre Dame Journal of Formal Logic 29](https://i1.rgstatic.net/publication/38355584_Meyer_JJ_A_Different_Approach_to_Deontic_Logic_Deontic_Logic_Viewed_as_Variant_of_Dynamic_Logic_Notre_Dame_Journal_of_Formal_Logic_29/links/00b7d528f66193764b000000/largepreview.png)