{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:50Z","timestamp":1761611150078},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf01063921","type":"journal-article","created":{"date-parts":[[2005,2,1]],"date-time":"2005-02-01T07:54:42Z","timestamp":1107244482000},"page":"49-94","source":"Crossref","is-referenced-by-count":12,"title":["Classical harmony: Rules of inference and the meaning of the logical constants"],"prefix":"10.1007","volume":"100","author":[{"given":"Peter","family":"Milne","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1093\/analys\/22.6.130","volume":"22","author":"N. Belnap","year":"1962","unstructured":"Belnap, N.: 1962, ?Tonk, Plonk and Plink?,Analysis 22, 130?34. Reprinted in P. Strawson (ed.),Philosophical Logic, Oxford University Press, Oxford, pp. 132?37.","journal-title":"Analysis"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1305\/ndjfl\/1093888128","volume":"XVIII","author":"B. Coburn","year":"1977","unstructured":"Coburn, B. and D. Miller: 1977, ?Two Comments on Lemmon'sBeginning Logic?,Notre Dame Journal of Formal Logic XVIII, 607?10.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1093\/analys\/49.1.21","volume":"49","author":"N. Denyer","year":"1989","unstructured":"Denyer, N.: 1989, ?The Principle of Harmony?,Analysis 49, 21?22.","journal-title":"Analysis"},{"key":"CR4","volume-title":"Elements of Intuitionism","author":"M. Dummett","year":"1977","unstructured":"Dummett, M.: 1977,Elements of Intuitionism, Clarendon Press, Oxford."},{"key":"CR5","first-page":"269","volume-title":"Michael Dummett: Contributions to Philosophy","author":"M. Dummett","year":"1987","unstructured":"Dummett, M.: 1987a, ?Reply to Loar?, in B. Taylor (ed.),Michael Dummett: Contributions to Philosophy, Martinus Nijhoff, Dordrecht, pp. 269?80."},{"key":"CR6","first-page":"221","volume-title":"Michael Dummett: Contributions to Philosophy","author":"M. Dummett","year":"1987","unstructured":"Dummett, M.: 1987b, ?Reply to Wright?, in B. Taylor (ed.),Michael Dummett: Contributions to Philosophy, Martinus Nijhoff, Dordrecht, pp. 221?34."},{"key":"CR7","volume-title":"The Logical Basis of Metaphysics","author":"M. Dummett","year":"1991","unstructured":"Dummett, M.: 1991,The Logical Basis of Metaphysics, Duckworth, London."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1515\/9783110852820.79","volume-title":"Meaning, Use, and Interpretation","author":"U. Egli","year":"1983","unstructured":"Egli, U.: 1983, ?The Stoic Theory of Argument?, in R. B\u00e4uerle, C. Schwarze, and A. von Stechow (eds.),Meaning, Use, and Interpretation, de Gruyter, Berlin, pp. 79?96."},{"key":"CR9","volume-title":"The Norm of Truth","author":"P. Engel","year":"1991","unstructured":"Engel, P.: 1991,The Norm of Truth, Harvester, Hemel Hempstead."},{"key":"CR10","volume-title":"Beginning Logic","author":"E. J. Lemmon","year":"1965","unstructured":"Lemmon, E. J.: 1965,Beginning Logic, Nelson, London."},{"key":"CR11","volume-title":"Language, Logic and Experience","author":"M. Luntley","year":"1988","unstructured":"Luntley, M.: 1988,Language, Logic and Experience, Open Court, La Salle."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF00239431","volume":"34","author":"P. Milne","year":"1991","unstructured":"Milne, P.: 1991, ?Verification, Falsification, and the Logic of Enquiry?,Erkenntnis 34, 23?54.","journal-title":"Erkenntnis"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1305\/ndjfl\/1093882418","volume":"XX","author":"I. Mueller","year":"1979","unstructured":"Mueller, I.: 1979, ?The Completeness of Stoic Propositional Logic?,Notre Dame Journal of Formal Logic XX, 201?15.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR14","volume-title":"Sets: An Introduction","author":"M. Potter","year":"1990","unstructured":"Potter, M.: 1990,Sets: An Introduction, Clarendon Press, Oxford."},{"key":"CR15","first-page":"235","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"D. Prawitz","year":"1975","unstructured":"Prawitz, D.: 1975, ?Ideas and Results in Proof Theory?, in J. Fenstad (ed.),Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, pp. 235?50."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1111\/j.1755-2567.1977.tb00776.x","volume":"43","author":"D. Prawitz","year":"1977","unstructured":"Prawitz, D.: 1977, ?Meaning and Proofs: On the Conflict between Classical and Intuitionist Logic?,Theoria 43, 2?40.","journal-title":"Theoria"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-94-009-9825-4_2","volume-title":"Essays on Mathematical and Philosophical Logic","author":"D. Prawitz","year":"1979","unstructured":"Prawitz, D.: 1979, ?Proofs and the Meaning and Completeness of the Logical Constants?, in J. Hintikka, I. Niiniluoto and E. Saarinen (eds.),Essays on Mathematical and Philosophical Logic, D. Reidel, Dordrecht, pp. 25?40."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1093\/analys\/21.2.38","volume":"21","author":"A. N. Prior","year":"1960","unstructured":"Prior, A. N.: 1960, ?The Runabout Inference-Ticket?,Analysis 21, 38?9. Reprinted in P. Strawson (ed.),Philosophical Logic, Oxford University Press, Oxford, pp. 129?31.","journal-title":"Analysis"},{"key":"CR19","volume-title":"Relevant Logic","author":"S. Read","year":"1988","unstructured":"Read, S.: 1988,Relevant Logic, Basil Blackwell, Oxford."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-1-4899-0548-2_4","volume-title":"Foundations of Logic and Linguistics","author":"P. Schroeder-Heister","year":"1985","unstructured":"Schroeder-Heister, P.: 1985, ?Proof-theoretic Validity and the Completeness of Intuitionist Logic?, in G. Dorn and P. Weingartner (eds.),Foundations of Logic and Linguistics, Plenum, New York, pp. 43?87."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/978-94-009-5203-4_8","volume-title":"Handbook of Philosophical Logic, Vol. III","author":"G. Sundholm","year":"1986","unstructured":"Sundholm, G.: 1986, ?Proof Theory and Meaning?, in D. Gabbay and F. Guenthner (eds.),Handbook of Philosophical Logic, Vol. III, D. Reidel, Dordrecht, pp. 471?506."},{"key":"CR22","volume-title":"Natural Logic","author":"N. Tennant","year":"1978","unstructured":"Tennant, N.: 1978,Natural Logic, Edinburgh University Press, Edinburgh."},{"key":"CR23","volume-title":"Anti-realism and Logic","author":"N. Tennant","year":"1987","unstructured":"Tennant, N.: 1987,Anti-realism and Logic, Clarendon Press, Oxford."},{"key":"CR24","doi-asserted-by":"crossref","DOI":"10.1515\/9783110849264","volume-title":"The Foundations of Frege's Logic","author":"P. Tich\u00fd","year":"1988","unstructured":"Tich\u00fd, P.: 1988,The Foundations of Frege's Logic, Walter de Gruyter, Berlin."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1093\/aristotelian\/88.1.109","volume":"LXXXVII","author":"T. Williamson","year":"1988","unstructured":"Williamson, T.: 1988, ?Equivocation and Existence?,Proceedings of the Aristotelian Society LXXXVII, 109?27.","journal-title":"Proceedings of the Aristotelian Society"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01063921.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01063921\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01063921","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,21]],"date-time":"2024-01-21T16:53:17Z","timestamp":1705855997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01063921"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF01063921"],"URL":"https:\/\/doi.org\/10.1007\/bf01063921","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}