{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T02:40:26Z","timestamp":1710211226197},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T00:00:00Z","timestamp":1314748800000},"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":[[2011,10]]},"DOI":"10.1007\/s11225-011-9353-z","type":"journal-article","created":{"date-parts":[[2011,8,26]],"date-time":"2011-08-26T11:47:56Z","timestamp":1314359276000},"page":"279-319","source":"Crossref","is-referenced-by-count":6,"title":["Contextual Deduction Theorems"],"prefix":"10.1007","volume":"99","author":[{"given":"J. G.","family":"Raftery","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,8,31]]},"reference":[{"key":"9353_CR1","doi-asserted-by":"crossref","first-page":"107","DOI":"10.2307\/2964754","volume":"24","author":"A. R. Anderson","year":"1959","unstructured":"Anderson A.R., Belnap Jnr N.D.: \u2018Modalities in Ackermann\u2019s \u201crigorous implication\u201d\u2019. J. Symbolic Logic 24, 107\u2013111 (1959)","journal-title":"J. Symbolic Logic"},{"key":"9353_CR2","unstructured":"Anderson, A. R., and N. D. Belnap, Jnr., Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, 1975."},{"key":"9353_CR3","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.: \u2018The semantics and proof theory of linear logic\u2019. Theoretical Computer Science 57, 161\u2013184 (1988)","journal-title":"Theoretical Computer Science"},{"key":"9353_CR4","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s11225-006-8299-z","volume":"83","author":"W. J. Blok","year":"2006","unstructured":"Blok W.J., J\u00f3nsson B.: \u2018Equivalence of consequence operations\u2019. Studia Logica 83, 91\u2013110 (2006)","journal-title":"Studia Logica"},{"key":"9353_CR5","unstructured":"Blok, W. J., P. K\u00f6hler, and D. Pigozzi, \u2018The algebraization of logic\u2019, manuscript, 1983."},{"key":"9353_CR6","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W. J. Blok","year":"1986","unstructured":"Blok W.J., Pigozzi D.: \u2018Protoalgebraic logics\u2019. Studia Logica 45, 337\u2013369 (1986)","journal-title":"Studia Logica"},{"key":"9353_CR7","unstructured":"Blok, W. J., and D. Pigozzi, \u2018Local deduction theorems in algebraic logic\u2019, in H. Andr\u00e9ka, J.D. Monk, and I. Nemeti (eds.), Algebraic Logic, Colloquia Mathematica Societatis J\u00e1nos Bolyai 54, Budapest (Hungary), 1988, pp. 75\u2013109."},{"key":"9353_CR8","doi-asserted-by":"crossref","unstructured":"Blok, W. J., and D. Pigozzi, \u2018Algebraizable Logics\u2019, Memoirs of the American Mathematical Society, Number 396, Amer. Math. Soc., Providence, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"9353_CR9","unstructured":"Blok, W. J., and D. Pigozzi, \u2018Algebraic semantics for universal Horn logic without equality\u2019, in A. Romanowska, and J. D. H. Smith (eds.), Universal Algebra and Quasigroup Theory, Heldermann Verlag, Berlin, 1992, pp. 1\u201356."},{"key":"9353_CR10","unstructured":"Blok, W. J., and D. Pigozzi, \u2018Abstract algebraic logic and the deduction theorem\u2019, manuscript, 1997. [See http:\/\/orion.math.iastate.edu\/dpigozzi\/ for updated version, 2001.]"},{"key":"9353_CR11","unstructured":"Blok,W. J., and J. G. Raftery, \u2018Ideals in quasivarieties of algebras\u2019, 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\u2013186."},{"key":"9353_CR12","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s11225-005-0106-8","volume":"78","author":"W. J. Blok","year":"2004","unstructured":"Blok W.J., Raftery J.G.: \u2018Fragments of R\u2013mingle\u2019. Studia Logica 78, 59\u2013106 (2004)","journal-title":"Studia Logica"},{"key":"9353_CR13","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1142\/S0218196708004627","volume":"18","author":"W. J. Blok","year":"2008","unstructured":"Blok W.J., Raftery J.G.: \u2018Assertionally equivalent quasivarieties\u2019. Internat. J.Algebra Comput 18, 589\u2013681 (2008)","journal-title":"Internat. J.Algebra Comput"},{"key":"9353_CR14","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/BF00370837","volume":"57","author":"W. Buszkowski","year":"1996","unstructured":"Buszkowski W.: \u2018The finite model property for BCI and related systems\u2019. Studia Logica 57, 303\u2013323 (1996)","journal-title":"Studia Logica"},{"key":"9353_CR15","unstructured":"Church, A., \u2018The weak theory of implication\u2019, in A. Menne, A. Wilhelmy, and H. Angsil (eds.), Kontrolliertes Denken, Untersuchungen zum Logikkalk\u00fcl und zur Logik der Einzelwissenschaften, Kommissions-Verlag Karl Alber, 1951, pp. 22\u201337."},{"key":"9353_CR16","first-page":"238","volume":"16","author":"A. Church","year":"1951","unstructured":"Church A.: \u2018The weak positive implicational propositional calculus\u2019 (abstract). J. Symbolic Logic 16, 238 (1951)","journal-title":"J. Symbolic Logic"},{"key":"9353_CR17","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF00370428","volume":"44","author":"J. Czelakowski","year":"1985","unstructured":"Czelakowski J.: \u2018Algebraic aspects of deduction theorems\u2019. Studia Logica 44, 369\u2013387 (1985)","journal-title":"Studia Logica"},{"key":"9353_CR18","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF00370271","volume":"45","author":"J. Czelakowski","year":"1986","unstructured":"Czelakowski J.: \u2018Local deduction theorems\u2019. Studia Logica 45, 377\u2013391 (1986)","journal-title":"Studia Logica"},{"key":"9353_CR19","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":"9353_CR20","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF00370679","volume":"50","author":"J. Czelakowski","year":"1991","unstructured":"Czelakowski J., Dziobiak W.: \u2018A deduction theorem schema for deductive systems of propositional logics\u2019. Studia Logica 50, 385\u2013390 (1991)","journal-title":"Studia Logica"},{"key":"9353_CR21","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF01197181","volume":"35","author":"J. Czelakowski","year":"1996","unstructured":"Czelakowski J., Dziobiak W.: \u2018The parameterized local deduction theorem for quasivarieties of algebras and its application\u2019. Algebra Universalis 35, 377\u2013419 (1996)","journal-title":"Algebra Universalis"},{"key":"9353_CR22","doi-asserted-by":"crossref","first-page":"279","DOI":"10.2307\/2586764","volume":"64","author":"J. Czelakowski","year":"1999","unstructured":"Czelakowski J., Dziobiak W.: \u2018Deduction theorems within RM and its extensions\u2019. J. Symbolic Logic 64, 279\u2013290 (1999)","journal-title":"J. Symbolic Logic"},{"key":"9353_CR23","doi-asserted-by":"crossref","unstructured":"Font, J. M., R. Jansana, and D. Pigozzi, \u2018A survey of abstract algebraic logic\u2019, and \u2018Update\u2019, Studia Logica74:13\u201397, 2003, and 91:125\u2013130, 2009.","DOI":"10.1007\/s11225-009-9169-2"},{"key":"9353_CR24","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1002\/malq.19900360606","volume":"36","author":"J. M. Font","year":"1990","unstructured":"Font J.M., Rodr\u00edguez G.: \u2018Note on algebraic models for relevance logic\u2019. Zeitschr. f. math. Logik Grundlagen d. Math 36, 535\u2013540 (1990)","journal-title":"Zeitschr. f. math. Logik Grundlagen d. Math"},{"key":"9353_CR25","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF02482900","volume":"10","author":"E. Fried","year":"1980","unstructured":"Fried E., Gr\u00e4tzer G., Quackenbush R.: \u2018Uniform congruence schemes\u2019. Algebra Universalis 10, 176\u2013189 (1980)","journal-title":"Algebra Universalis"},{"key":"9353_CR26","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/s11225-006-8305-5","volume":"83","author":"N. Galatos","year":"2006","unstructured":"Galatos N., Ono H.: \u2018Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL\u2019. Studia Logica 83, 279\u2013308 (2006)","journal-title":"Studia Logica"},{"key":"9353_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.- Y. Girard","year":"1987","unstructured":"Girard J.-Y.: \u2018Linear logic\u2019. Theoretical Computer Science 50, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"9353_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-7633-9","volume-title":"General Lattice Theory","author":"G. Gr\u00e4tzer","year":"1978","unstructured":"Gr\u00e4tzer G.: General Lattice Theory. Birkh\u00e4user Verlag, Basel (1978)"},{"key":"9353_CR29","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF00370843","volume":"57","author":"B. Herrmann","year":"1996","unstructured":"Herrmann B.: \u2018Equivalential and algebraizable logics\u2019. Studia Logica 57, 419\u2013436 (1996)","journal-title":"Studia Logica"},{"key":"9353_CR30","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1023\/A:1004979825733","volume":"58","author":"B. Herrmann","year":"1997","unstructured":"Herrmann B.: \u2018Characterizing equivalential and algebraizable logics by the Leibniz operator\u2019. Studia Logica 58, 305\u2013323 (1997)","journal-title":"Studia Logica"},{"key":"9353_CR31","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1002\/malq.200610052","volume":"53","author":"A. Hsieh","year":"2007","unstructured":"Hsieh A., Raftery J.G.: \u2018Conserving involution in residuated structures\u2019. Math. Logic Quarterly 53, 583\u2013609 (2007)","journal-title":"Math. Logic Quarterly"},{"key":"9353_CR32","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1142\/S0218196709005251","volume":"19","author":"P. M. Idziak","year":"2009","unstructured":"Idziak P.M., S\u0142omczy\u0144ska K., Wro\u0144ski A.: \u2018Fregean varieties\u2019. Internat. J.Algebra Comput 19, 595\u2013645 (2009)","journal-title":"Internat. J.Algebra Comput"},{"key":"9353_CR33","doi-asserted-by":"crossref","first-page":"225","DOI":"10.4064\/cm-74-2-225-238","volume":"74","author":"P. M. Idziak","year":"1997","unstructured":"Idziak P.M., Wro\u0144ski A.: \u2018Definability of principal congruences in equivalential algebras\u2019. Colloq. Math 74, 225\u2013238 (1997)","journal-title":"Colloq. Math"},{"key":"9353_CR34","first-page":"126","volume":"12","author":"J. K. Kabzi\u0144ski","year":"1983","unstructured":"Kabzi\u0144ski J. K.: \u2018BCI\u2013algebras from the point of view of logic\u2019. Bull. Sect. Logic 12, 126\u2013129 (1983)","journal-title":"Bull. Sect. Logic"},{"key":"9353_CR35","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF02483100","volume":"11","author":"P. K\u00f6hler","year":"1980","unstructured":"K\u00f6hler P., Pigozzi D.: \u2018Varieties with equationally definable principal congruences\u2019. Algebra Universalis 11, 213\u2013219 (1980)","journal-title":"Algebra Universalis"},{"key":"9353_CR36","doi-asserted-by":"crossref","first-page":"324","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"Kripke S.: \u2018The problem of entailment\u2019 (abstract). J. Symbolic Logic 24, 324 (1959)","journal-title":"J. Symbolic Logic"},{"key":"9353_CR37","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.2307\/2275637","volume":"62","author":"Y. Lafont","year":"1997","unstructured":"Lafont Y.: \u2018The finite model property for various fragments of linear logic\u2019. J. Symbolic Logic 62, 1202\u20131208 (1997)","journal-title":"J. Symbolic Logic"},{"key":"9353_CR38","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"61","author":"J. \u0141o\u015b","year":"1958","unstructured":"\u0141o\u015b J., Suszko R.: \u2018Remarks on sentential logics\u2019. Proc. Kon. Nederl.Akad. van Wetenschappen, Series A 61, 177\u2013183 (1958)","journal-title":"Proc. Kon. Nederl.Akad. van Wetenschappen, Series A"},{"key":"9353_CR39","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF02120525","volume":"31","author":"R. K. Meyer","year":"1972","unstructured":"Meyer R.K.: \u2018Conservative extension in relevant implication\u2019. Studia Logica 31, 39\u201346 (1972)","journal-title":"Studia Logica"},{"key":"9353_CR40","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1305\/ndjfl\/1093890896","volume":"14","author":"R.K. Meyer","year":"1973","unstructured":"Meyer R.K.: \u2018On conserving positive logics\u2019. Notre Dame J. Formal Logic 14, 224\u2013236 (1973)","journal-title":"Notre Dame J. Formal Logic"},{"key":"9353_CR41","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.: \u2018Intuitionism, entailment, negation\u2019. In: Leblanc, H. (eds) Truth, Syntax and Modality, pp. 168\u2013198. North Holland, Amsterdam (1973)"},{"key":"9353_CR42","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.: \u2018Improved decision procedures for pure relevant logic\u2019. In: Anderson, C. A., Zeleny, M. (eds) Logic, Meaning and Computation., pp. 191\u2013217. Kluwer, Dordrecht (2001)"},{"key":"9353_CR43","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF02379225","volume":"4","author":"R. K. Meyer","year":"1974","unstructured":"Meyer R.K., Routley R.: \u2018E is a conservative extension of E\u012a\u2019. Philosophia 4, 223\u2013249 (1974)","journal-title":"Philosophia"},{"key":"9353_CR44","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/jigpal\/jzn014","volume":"16","author":"J. S. Olson","year":"2008","unstructured":"Olson J. S., Raftery J. G., van Alten C. J.: \u2018Structural completeness in substructural logics\u2019. Logic J. of the IGPL 16, 453\u2013495 (2008)","journal-title":"Logic J. of the IGPL"},{"key":"9353_CR45","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1023\/A:1024630124326","volume":"74","author":"K. Pa\u0142asi\u0144ska","year":"2003","unstructured":"Pa\u0142asi\u0144ska K.: \u2018Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes\u2019. Studia Logica 74, 233\u2013273 (2003)","journal-title":"Studia Logica"},{"key":"9353_CR46","unstructured":"Raftery, J. G., and C. J. van Alten, \u2018Residuation in commutative ordered monoids with minimal zero\u2019, and \u2018Corrigendum\u2019, Rep. Math. Logic 34:23\u201357, 2000, and 39:133\u2013135, 2005."},{"key":"9353_CR47","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1305\/ndjfl\/1093634487","volume":"33","author":"J. K. Slaney","year":"1992","unstructured":"Slaney J.K., Meyer R.K.: \u2018A structurally complete fragment of relevant logic\u2019. Notre Dame J. Formal Logic 33, 561\u2013566 (1992)","journal-title":"Notre Dame J. Formal Logic"},{"key":"9353_CR48","unstructured":"Troelstra, A. S., Lectures on Linear Logic, CSLI Lecture Notes No. 29, 1992."},{"key":"9353_CR49","doi-asserted-by":"crossref","first-page":"84","DOI":"10.2178\/jsl\/1107298511","volume":"70","author":"C. J. Alten van","year":"2005","unstructured":"van Alten C. J.: \u2018The finite model property for knotted extensions of propositional linear logic\u2019. J. Symbolic Logic 70, 84\u201398 (2005)","journal-title":"J. Symbolic Logic"},{"key":"9353_CR50","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/B:STUD.0000032087.02579.e2","volume":"76","author":"C. J. Alten van","year":"2004","unstructured":"van Alten C. J., Raftery J. G.: \u2018Rule separation and embedding theorems for logics without weakening\u2019. Studia Logica 76, 241\u2013274 (2004)","journal-title":"Studia Logica"},{"key":"9353_CR51","first-page":"303","volume":"44","author":"S. M. Wei","year":"1996","unstructured":"Wei S. M., Jun Y.B.: \u2018Ideal lattices of BCI-algebras\u2019. Math. Japonica 44, 303\u2013305 (1996)","journal-title":"Math. Japonica"},{"key":"9353_CR52","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02123806","volume":"32","author":"R. W\u00f3jcicki","year":"1973","unstructured":"W\u00f3jcicki R.: \u2018Matrix approach in methodology of sentential calculi\u2019. Studia Logica 32, 7\u201337 (1973)","journal-title":"Studia Logica"},{"key":"9353_CR53","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R. W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki 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-011-9353-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9353-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9353-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T13:15:51Z","timestamp":1560518151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9353-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,31]]},"references-count":53,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["9353"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9353-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,31]]}}}