{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T10:43:28Z","timestamp":1774953808578,"version":"3.50.1"},"reference-count":93,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2004,11,1]],"date-time":"2004-11-01T00:00:00Z","timestamp":1099267200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2004,11]]},"DOI":"10.1007\/s11225-005-0106-8","type":"journal-article","created":{"date-parts":[[2005,3,30]],"date-time":"2005-03-30T17:51:12Z","timestamp":1112205072000},"page":"59-106","source":"Crossref","is-referenced-by-count":17,"title":["Fragments of R-Mingle"],"prefix":"10.1007","volume":"78","author":[{"given":"W. J.","family":"Blok","sequence":"first","affiliation":[]},{"given":"J. G.","family":"Raftery","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"713","DOI":"10.2307\/2023169","volume":"58","author":"A. R. Anderson","year":"1961","unstructured":"Anderson, A. R., and N. D. Belnap, Jnr., ?Enthymemes?, The Journal of Philosophy 58 (1961), 713?723.","journal-title":"The Journal of Philosophy"},{"key":"CR2","unstructured":"Anderson, A. R., and N. D. Belnap, Jnr., Entailment: The Logic of Relevance and Necessity, Volume 1, Princeton University Press, 1975."},{"key":"CR3","unstructured":"Anderson, A. R., N. D. Belnap, Jnr., and J. M. Dunn, Entailment: The Logic of Relevance and Necessity, Volume 2, Princeton University Press, 1992."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"334","DOI":"10.2307\/2274169","volume":"49","author":"A. Avron","year":"1984","unstructured":"Avron, A., ?Relevant entailment?semantics and the formal systems?, The Journal of Symbolic Logic 49 (1984), 334?432.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1305\/ndjfl\/1093636612","volume":"27","author":"A. Avron","year":"1986","unstructured":"Avron, A., ?On an implication connective of RM?, Notre Dame Journal of Formal Logic 27 (1986), 201?209.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"939","DOI":"10.2307\/2273828","volume":"52","author":"A. Avron","year":"1987","unstructured":"Avron, A., ?A constructive analysis of RM?, The Journal of Symbolic Logic 52 (1987), 939?951.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A. Avron","year":"1988","unstructured":"Avron, A., ?The semantics and proof theory of linear logic?, Theoretical Computer Science 57 (1988), 161?184.","journal-title":"Theoretical Computer Science"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"707","DOI":"10.2307\/2274660","volume":"55","author":"A. Avron","year":"1990","unstructured":"Avron, A., ?Relevance and paraconsistency?a new approach?, The Journal of Symbolic Logic 55 (1990), 707?732.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1305\/ndjfl\/1093635414","volume":"31","author":"A. Avron","year":"1990","unstructured":"Avron, A., ?Relevance and paraconsistency?a new approach. Part II: The formal systems?, Notre Dame Journal of Formal Logic 31 (1990), 169?202.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1093\/logcom\/2.1.51","volume":"2","author":"A. Avron","year":"1992","unstructured":"Avron, A., ?Axiomatic systems, deduction and implication?, Journal of Logic and Computation 2 (1992), 51?98.","journal-title":"Journal of Logic and Computation"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF00260930","volume":"21","author":"A. Avron","year":"1992","unstructured":"Avron, A., ?Whither relevance logic??, Journal of Philosophical Logic 21 (1992), 243?281.","journal-title":"Journal of Philosophical Logic"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1093\/jigpal\/5.2.181","volume":"5","author":"A. Avron","year":"1997","unstructured":"Avron, A., ?Multiplicative conjunction as an extensional conjunction?, Logic Journal of the IGPL 5 (1997), 181?208.","journal-title":"Logic Journal of the IGPL"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"788","DOI":"10.2307\/2586570","volume":"65","author":"A. Avron","year":"2000","unstructured":"Avron, A., ?Implicational F-structures and implicational relevance logics?, The Journal of Symbolic Logic 65 (2000), 788?802.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1090\/S0002-9947-1987-0891629-3","volume":"302","author":"J. Berman","year":"1987","unstructured":"Berman, J., and W. J. Blok, ?The Fraser-Horn and apple properties?, Transactions of the American Mathematical Society 302 (1987), 427?465.","journal-title":"Transactions of the American Mathematical Society"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF00375898","volume":"45","author":"W. J. Blok","year":"1986","unstructured":"Blok, W. J., and W. Dziobiak, ?On the lattice of quasivarieties of Sugihara algebras?, Studia Logica 45 (1986), 275?280.","journal-title":"Studia Logica"},{"key":"CR16","unstructured":"Blok, W. J., P. K\ufffdhler, and D. Pigozzi, ?The algebraization of logic?, unpublished manuscript, 1983."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02483723","volume":"15","author":"W. J. Blok","year":"1982","unstructured":"Blok, W. J., and D. Pigozzi, ?On the structure of varieties with equationally definable principal congruences I?, Algebra Universalis 15 (1982), 195?227.","journal-title":"Algebra Universalis"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01190734","volume":"22","author":"W. J. Blok","year":"1986","unstructured":"Blok, W. J., and D. Pigozzi, ?A finite basis theorem for quasivarieties?, Algebra Universalis 22 (1986), 1?13.","journal-title":"Algebra Universalis"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W. J. Blok","year":"1986","unstructured":"Blok, W. J., and D. Pigozzi, ?Protoalgebraic logics?, Studia Logica 45 (1986), 337?369.","journal-title":"Studia Logica"},{"key":"CR20","first-page":"75","volume-title":"Algebraic Logic","author":"W. J. Blok","year":"1988","unstructured":"Blok, W. J., and D. Pigozzi, ?Local deduction theorems in algebraic logic?, in H. Andreka, J. D. Monk and I. Nemeti, (eds.), Algebraic Logic, Colloquia Mathematica Societatis J\ufffdnos Bolyai 54 Algebraic Logic, Budapest (Hungary), 1988, pp. 75?109."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Blok, W. J., and D. Pigozzi, ?Algebraizable Logics?, Memoirs of the American Mathematical Society, Number 396, Amer. Math. Soc., Providence, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"CR22","first-page":"1","volume-title":"Universal Algebra and Quasigroup Theory","author":"W. J. Blok","year":"1992","unstructured":"Blok, W. J., and D. Pigozzi, ?Algebraic semantics for universal Horn logic without equality?, in J.D.H. Smith and A. Romanowska, (eds.), Universal Algebra and Quasigroup Theory, Heldermann Verlag, Berlin, 1992, pp. 1?56."},{"key":"CR23","unstructured":"Blok W. J., and D. Pigozzi, ?Abstract algebraic logic and the deduction theorem?, The Bulletin of Symbolic Logic, to appear."},{"key":"CR24","series-title":"Lecture Notes in Pure and Applied Mathematics","first-page":"167","volume-title":"Models, Algebras and Proofs","author":"W. J. Blok","year":"1999","unstructured":"Blok, W. J., and J. G. Raftery, ?Ideals in quasivarieties of algebras?, in X. Caicedo and C. H. Montenegro, (eds.), Models, Algebras and Proofs, Lecture Notes in Pure and Applied Mathematics, Vol. 203, Marcel Dekker, New York, 1999, pp. 167?186."},{"key":"CR25","unstructured":"Blok, W. J., and J. G. Raftery, ?On assertional logic?, manuscript, 1998."},{"key":"CR26","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF01050340","volume":"23","author":"R. T. Brady","year":"1994","unstructured":"Brady, R. T., ?Rules in relevant logic-I: Semantic classification?, Journal of Philosophical Logic 23 (1994), 111?137.","journal-title":"Journal of Philosophical Logic"},{"key":"CR27","volume-title":"Graduate Texts in Mathematics","author":"S. Burris","year":"1981","unstructured":"Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, Springer-Verlag, New York, 1981."},{"key":"CR28","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF00370428","volume":"44","author":"J. Czelakowski","year":"1985","unstructured":"Czelakowski, J., ?Algebraic aspects of deduction theorems?, Studia Logica 44 (1985), 369?387.","journal-title":"Studia Logica"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF00370271","volume":"45","author":"J. Czelakowski","year":"1986","unstructured":"Czelakowski, J., ?Local deduction theorems?, Studia Logica 45 (1986), 377?391.","journal-title":"Studia Logica"},{"key":"CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics","author":"J. Czelakowski","year":"2001","unstructured":"Czelakowski, J., Protoalgebraic Logics, Kluwer, Dordrecht, 2001."},{"key":"CR31","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/BF01190258","volume":"27","author":"J. Czelakowski","year":"1990","unstructured":"Czelakowski, J., and W. Dziobiak, ?Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class?, Algebra Universalis 27 (1990), 128?149.","journal-title":"Algebra Universalis"},{"key":"CR32","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/BF01197181","volume":"25","author":"J. Czelakowski","year":"1996","unstructured":"Czelakowski, J., and W. Dziobiak, ?The parameterized local deduction theorem for quasivarieties of algebras and its application?, Algebra Universalis 25 (1996), 373?419.","journal-title":"Algebra Universalis"},{"key":"CR33","doi-asserted-by":"crossref","first-page":"279","DOI":"10.2307\/2586764","volume":"64","author":"J. Czelakowski","year":"1999","unstructured":"Czelakowski, J., and W. Dziobiak, ?Deduction theorems within RM and its extensions?, The Journal of Symbolic Logic 64 (1999), 279?290.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR34","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett, M., ?A propositional calculus with a denumerable matrix?, The Journal of Symbolic Logic 24 (1959), 97?106.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0022481200092161","volume":"35","author":"J.M. Dunn","year":"1970","unstructured":"Dunn, J.M., ?Algebraic completeness results for R-mingle and its extensions?, The Journal of Symbolic Logic 35 (1970), 1?13.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR36","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic, Volume III","author":"J.M. Dunn","year":"1986","unstructured":"Dunn, J.M., ?Relevance logic and entailment?, in D. Gabbay and F. Guenthner, (eds.), Handbook of Philosophical Logic, Volume III, Reidel, Dordrecht, 1986, pp. 117?226."},{"key":"CR37","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/oso\/9780198537779.003.0004","volume-title":"Substructural Logics","author":"J. M. Dunn","year":"1993","unstructured":"Dunn J. M., ?Partial gaggles applied to logics with restricted structural rules?, in P. Schroeder-Heister and K. Do?en, (eds.), Substructural Logics, Clarendon Press, Oxford, 1993, pp. 63?108."},{"key":"CR38","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1002\/malq.19710170126","volume":"17","author":"J. M. Dunn","year":"1971","unstructured":"Dunn, J. M., and R. K. Meyer, ?Algebraic completeness results for Dummett?s LC and its extensions?, Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik 17 (1971), 225?230.","journal-title":"Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR39","first-page":"1","volume-title":"Handbook of Philosophical Logic, Volume 8","author":"J. M. Dunn","year":"2001","unstructured":"Dunn, J. M., and G. Restall, ?Relevance logic and entailment?, in D. Gabbay, (ed.), Handbook of Philosophical Logic, Volume 8, 2nd edn., Kluwer, Dordrecht, 2001, pp. 1?128 (revision of [36]).","edition":"2nd edn."},{"key":"CR40","doi-asserted-by":"crossref","first-page":"47","DOI":"10.4064\/fm-133-1-47-57","volume":"133","author":"W. Dziobiak","year":"1989","unstructured":"Dziobiak, W., ?Finitely generated congruence distributive quasivarieties of algebras?, Fundamenta Mathematica 133 (1989), 47?57.","journal-title":"Fundamenta Mathematica"},{"key":"CR41","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/BF02681565","volume":"39","author":"W. Dziobiak","year":"2000","unstructured":"Dziobiak, W., ?Quasivarieties of Sugihara semilattices with involution?, Algebra and Logic 39 (2000), 26?36.","journal-title":"Algebra and Logic"},{"key":"CR42","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1002\/malq.19900360606","volume":"36","author":"J.M. Font","year":"1990","unstructured":"Font, J.M., and G. Rodr\ufffdguez, ?Note on algebraic models for relevance logic?, Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik 36 (1990), 535?540.","journal-title":"Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR43","doi-asserted-by":"crossref","first-page":"591","DOI":"10.5565\/PUBLMAT_362A92_19","volume":"36","author":"J.M. Font","year":"1992","unstructured":"Font, J.M., and G. Rodr\ufffdguez P\ufffdrez, ?A note on Sugihara algebras?, Publicacions Mathem\ufffdtiques 36 (1992), 591?599.","journal-title":"Publicacions Mathem\ufffdtiques"},{"key":"CR44","unstructured":"Freese, R., and E. W. Kiss, ?Algebra Calculator Program?, available at http:\/\/www.math.hawaii.edu\/~ralph\/software\/uaprog or http:\/\/www.cs.elte.hu\/~ewkiss\/software\/uaprog."},{"key":"CR45","doi-asserted-by":"crossref","first-page":"51","DOI":"10.2140\/pjm.1973.49.51","volume":"49","author":"R. Freese","year":"1973","unstructured":"Freese, R., and J. B. Nation, ?Congruence lattices of semilattices?, Pacific Journal of Mathematics 49 (1973), 51?58.","journal-title":"Pacific Journal of Mathematics"},{"key":"CR46","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1093\/oso\/9780198537779.003.0005","volume-title":"Substructural Logics","author":"D. M. Gabbay","year":"1993","unstructured":"Gabbay, D. M., A general theory of structured consequence relations, in P. Schroeder-Heister and K. Do?en, (eds.), Substructural Logics, Clarendon Press, Oxford, 1993, pp. 109?151."},{"key":"CR47","volume-title":"What is a Logical System?","year":"1994","unstructured":"Gabbay, D. M., (ed.), What is a Logical System? Clarendon Press, Oxford, 1994."},{"key":"CR48","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1023\/B:STUD.0000037126.29193.09","volume":"77","author":"N. Galatos","year":"2004","unstructured":"Galatos, N., and J. G. Raftery, ?Adding Involution to Residuated Structures?, Studia Logica 77 (2004), 181?207.","journal-title":"Studia Logica"},{"key":"CR49","volume-title":"Algebraic Theory of Quasivarieties","author":"V. A. Gorbunov","year":"1998","unstructured":"Gorbunov, V. A., Algebraic Theory of Quasivarieties, Consultants Bureau, New York, 1998."},{"key":"CR50","doi-asserted-by":"crossref","unstructured":"Hobby, D., and R. McKenzie, The Structure of Finite Algebras, Contemporary Mathematics 76 American Mathematical Society (Providence, RI), 1988.","DOI":"10.1090\/conm\/076"},{"key":"CR51","unstructured":"Hsieh, A., Personal communication, 2002."},{"key":"CR52","doi-asserted-by":"crossref","first-page":"255","DOI":"10.4064\/cm-42-1-255-261","volume":"42","author":"B. J\ufffdnsson","year":"1979","unstructured":"J\ufffdnsson B., ?On finitely based varieties of algebras?, Colloquium Mathematicum 42 (1979), 255?2","journal-title":"Colloquium Mathematicum"},{"key":"CR53","doi-asserted-by":"crossref","first-page":"748","DOI":"10.4153\/CJM-1991-043-1","volume":"43","author":"K. Kearnes","year":"1991","unstructured":"Kearnes, K., ?Type preservation in locally finite varieties with the CEP?, Canadian Journal of Mathematics 43 (1991), 748?769.","journal-title":"Canadian Journal of Mathematics"},{"key":"CR54","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1090\/S0002-9947-1992-1062872-X","volume":"331","author":"K. Kearnes","year":"1992","unstructured":"Kearnes, K., and R. McKenzie, ?Commutator theory for relatively modular quasivarieties?, Transactions of the American Mathematical Society 331 (1992), 465?502.","journal-title":"Transactions of the American Mathematical Society"},{"key":"CR55","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1142\/S0218196798000247","volume":"8","author":"K. Kearnes","year":"1998","unstructured":"Kearnes, K., and A. Szendrei, ?The relationship between two commutators?, International Journal of Algebra and Computation 8 (1998), 497?531.","journal-title":"International Journal of Algebra and Computation"},{"key":"CR56","doi-asserted-by":"crossref","first-page":"2841","DOI":"10.1090\/S0002-9939-99-05097-2","volume":"127","author":"K. Kearnes","year":"1999","unstructured":"Kearnes, K., and R. Willard, ?Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound?, Proceedings of the American Mathematical Society 127 (1999), 2841?2850.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"CR57","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF02483100","volume":"11","author":"P. K\ufffdhler","year":"1980","unstructured":"K\ufffdhler, P., and D. Pigozzi, ?Varieties with equationally definable principal congruences?, Algebra Universalis 11 (1980), 213?219.","journal-title":"Algebra Universalis"},{"key":"CR58","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF01190927","volume":"33","author":"P. Lipparini","year":"1995","unstructured":"Lipparini, P., ?n-Permutable varieties satisfy nontrivial congruence identities?, Algebra Universalis 33 (1995), 159?168.","journal-title":"Algebra Universalis"},{"key":"CR59","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.4153\/CMB-1998-044-9","volume":"41","author":"P. Lipparini","year":"1998","unstructured":"Lipparini, P., ?A characterization of varieties with a difference term, II: Neutral = meet semidistributive?, Canadian Mathematical Bulletin 41 (1998), 1318?327.","journal-title":"Canadian Mathematical Bulletin"},{"key":"CR60","first-page":"177","volume":"61","author":"J. ?o?","year":"1958","unstructured":"?o?, J., and R. Suszko, ?Remarks on sentential logics?, Proc. Kon. Nederl. Akad. van Wetenschappen, Series A 61 (1958), 177?183.","journal-title":"Proc. Kon. Nederl. Akad. van Wetenschappen, Series A"},{"key":"CR61","first-page":"280","volume-title":"The Blackwell Guide to Philosophical Logic","author":"E. D. Mares","year":"2001","unstructured":"Mares, E. D., and R. K. Meyer, ?Relevant logics?, in L. Goble, (ed.), The Blackwell Guide to Philosophical Logic, Blackwell, Oxford, 2001, pp. 280?308."},{"key":"CR62","first-page":"279","volume":"17","author":"J. M. M\ufffdndez","year":"1988","unstructured":"M\ufffdndez, J. M., ?The compatibility of relevance and mingle?, Journal of Philosophical Logic 17 (1988), 279?297.","journal-title":"Journal of Philosophical Logic"},{"key":"CR63","unstructured":"Meyer, R. K., ?A characteristic matrix for RM?, unpublished manuscript, 1967."},{"key":"CR64","first-page":"366","volume":"36","author":"R. K. Meyer","year":"1971","unstructured":"Meyer, R. K., ?R-mingle and relevant disjunction?, The Journal of Symbolic Logic 36 (1971), 366.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR65","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF02120525","volume":"31","author":"R. K. Meyer","year":"1972","unstructured":"Meyer, R. K., ?Conservative extension in relevant implication?, Studia Logica 31 (1972), 39?46.","journal-title":"Studia Logica"},{"key":"CR66","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1305\/ndjfl\/1093890896","volume":"14","author":"R. K. Meyer","year":"1973","unstructured":"Meyer, R. K., ?On conserving positive logics?, Notre Dame J. Formal Logic 14 (1973), 224?236.","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR67","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1016\/S0049-237X(08)71540-4","volume-title":"Truth, Syntax and Modality","author":"R. K. Meyer","year":"1973","unstructured":"Meyer, R. K., ?Intuitionism, entailment, negation?, in H. Leblanc, (ed.), Truth, Syntax and Modality North Holland, Amsterdam, 1973, pp. 168?198."},{"key":"CR68","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-94-010-0526-5_9","volume-title":"Logic, Meaning and Computation","author":"R. K. Meyer","year":"2001","unstructured":"Meyer, R. K., ?Improved decision procedures for pure relevant logic?, in C. A. Anderson and M. Zeleny, eds.), Logic, Meaning and Computation, Kluwer, Dordrecht, 2001, pp. 191?217."},{"key":"CR69","doi-asserted-by":"crossref","first-page":"460","DOI":"10.2307\/2270909","volume":"34","author":"R. K. Meyer","year":"1969","unstructured":"Meyer, R. K., and J. M. Dunn, ?E, R and ??, The Journal of Symbolic Logic 34 (1969), 460?474.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR70","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1305\/ndjfl\/1093891202","volume":"15","author":"R. K. Meyer","year":"1974","unstructured":"Meyer, R. K., J. M. Dunn, and H. Leblanc, ?Completeness of relevant quantification theories?, Notre Dame Journal of Formal Logic 15 (1974), 97?121.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR71","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1002\/malq.19720181903","volume":"18","author":"R. K. Meyer","year":"1972","unstructured":"Meyer, R. K., and R. Z. Parks, ?Independent axioms for the implicational fragment of Soboci?ski?s three-valued logic?, Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik 18 (1972), 291?295.","journal-title":"Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR72","first-page":"407","volume":"15","author":"R. K. Meyer","year":"1972","unstructured":"Meyer, R. K., and R. Routley, ?Algebraic analysis of entailment, I?, Logique et Analyse N.S. 15 (1972), 407?428.","journal-title":"Logique et Analyse N.S."},{"key":"CR73","doi-asserted-by":"crossref","first-page":"60","DOI":"10.2307\/2266328","volume":"18","author":"J. Myhill","year":"1953","unstructured":"Myhill, J., ?On the interpretation of the sign ????, The Journal of Symbolic Logic 18 (1953), 60?62.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR74","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/BF01980218","volume":"29","author":"A. M. Nurakunov","year":"1990","unstructured":"Nurakunov, A. M., ?Quasivarieties of algebras with definable principal congruences? (English translation), Algebra and Logic 29 (1990), 26?34.","journal-title":"Algebra and Logic"},{"key":"CR75","unstructured":"Ohnishi, M., and K. Matsumoto, ?A system for strict implication?, Proceedings of the Symposium on the Foundations of Mathematics, Katadu, Japan, 1962, pp. 98?108."},{"key":"CR76","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1305\/ndjfl\/1093894720","volume":"13","author":"R. Z. Parks","year":"1972","unstructured":"Parks, R. Z., ?A note on R-mingle and Soboci?ski?s three-valued logic?, Notre Dame Journal of Formal Logic 13 (1972), 227?228.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"117","key":"CR77","doi-asserted-by":"crossref","first-page":"727","DOI":"10.21136\/CMJ.1992.128368","volume":"42","author":"J. G. Raftery","year":"1992","unstructured":"Raftery, J. G., and T. Sturm, ?Tolerance numbers, congruence n-permutability and BCK-algebras?, Czechoslovak Mathematical Journal 42(117) (1992), 727?740.","journal-title":"Czechoslovak Mathematical Journal"},{"key":"CR78","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1002\/malq.19560021003","volume":"12","author":"A. Rose","year":"1956","unstructured":"Rose, A., ?An alternative formalization of Soboci?ski?s three-valued implicational propositional calculus?, Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik 12 (1956), 166?172.","journal-title":"Zeitschrift f\ufffdr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR79","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0049-237X(08)71541-6","volume-title":"Truth, Syntax and Modality","author":"R. Routley","year":"1973","unstructured":"Routley, R., and R. K. Meyer, ?The semantics of entailment?, in H. Leblanc, (ed.), Truth, Syntax and Modality North Holland, Amsterdam, 1973, pp. 199?243."},{"key":"CR80","volume-title":"Relevant Logics and their Rivals 1","author":"R. Routley","year":"1982","unstructured":"Routley, R., R. K. Meyer, V. Plumwood, and R. T. Brady, Relevant Logics and their Rivals 1, Ridgeview Publishing Company, California, 1982."},{"key":"CR81","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-94-010-2191-3_13","volume-title":"Logical Theory and Semantical Analysis","author":"D. Scott","year":"1974","unstructured":"Scott, D., ?Rules and derived rules?, in S. Stenlund, (ed.), Logical Theory and Semantical Analysis, Reidel, Dordrecht, 1974, pp. 147?161."},{"key":"CR82","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1305\/ndjfl\/1093634487","volume":"33","author":"J. K. Slaney","year":"1992","unstructured":"Slaney, J. K., and R. K. Meyer, ?A structurally complete fragment of relevant logic?, Notre Dame Journal of Formal Logic 33 (1992), 561?566.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR83","first-page":"23","volume":"1","author":"B. Soboci?ski","year":"1952","unstructured":"Soboci?ski, B., ?Axiomatization of a partial system of three-valued calculus of propositions?, The Journal of Computing Systems 1 (1952), 23?55.","journal-title":"The Journal of Computing Systems"},{"key":"CR84","unstructured":"Sugihara, T., ?Strict implication free from implicational paradoxes?, Memoirs of the Faculty of Liberal Arts, Fukui University, Series I 1955, 55?59."},{"key":"CR85","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3792\/pja\/1195520115","volume":"47","author":"S. Tamura","year":"1971","unstructured":"Tamura, S., ?The implicational fragment of R-mingle?, Proceedings of the Japan Academy 47 (1971), 71?75.","journal-title":"Proceedings of the Japan Academy"},{"key":"CR86","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF02121660","volume":"34","author":"M. Tokarz","year":"1975","unstructured":"Tokarz, M., ?Functions definable in Sugihara algebras and their fragments (I)? and ?(II)?, Studia Logica 34 (1975), 295?304, and 35 (1976), 279?283.","journal-title":"Studia Logica"},{"key":"CR87","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF00370436","volume":"38","author":"M. Tokarz","year":"1979","unstructured":"Tokarz, M., ?Deduction theorems for RM and its extensions?, Studia Logica 38 (1979), 105?111.","journal-title":"Studia Logica"},{"key":"CR88","volume-title":"Essays in matrix semantics of relevant logics","author":"M. Tokarz","year":"1980","unstructured":"Tokarz, M., Essays in matrix semantics of relevant logics, Polish Academy of Sciences, Institute of Philosophy and Sociology, Warsawa, 1980."},{"key":"CR89","unstructured":"Troelstra, A. S., Lectures on Linear Logic, CSLI Lecture Notes, No 29, 1992."},{"key":"CR90","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.2307\/2274261","volume":"49","author":"A. Urquhart","year":"1984","unstructured":"Urquhart, A., ?The undecidability of entailment and relevant implication?, The Journal of Symbolic Logic 49 (1984), 1059?1073.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR91","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/BF01236518","volume":"31","author":"A. Ursini","year":"1994","unstructured":"Ursini, A., ?On subtractive varieties I, Algebra Universalis 31 (1994), 204?222.","journal-title":"Algebra Universalis"},{"key":"CR92","doi-asserted-by":"crossref","first-page":"187","DOI":"10.2307\/2586531","volume":"65","author":"R. Willard","year":"2000","unstructured":"Willard, R., ?A finite basis theorem for residually finite, congruence meet-semidistributive varieties?, The Journal of Symbolic Logic 65 (2000), 187?200.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR93","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R. W\ufffdjcicki","year":"1988","unstructured":"W\ufffdjcicki, R., Theory of Logical Calculi, Kluwer, Dordrecht, 1988."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-0106-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-0106-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-0106-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T12:04:33Z","timestamp":1706097873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-0106-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,11]]},"references-count":93,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2004,11]]}},"alternative-id":["9106"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-0106-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,11]]}}}