{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T14:39:10Z","timestamp":1700059150022},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,2,1]],"date-time":"2006-02-01T00:00:00Z","timestamp":1138752000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1007\/s10485-005-9006-3","type":"journal-article","created":{"date-parts":[[2006,3,2]],"date-time":"2006-03-02T10:01:41Z","timestamp":1141293701000},"page":"81-98","source":"Crossref","is-referenced-by-count":5,"title":["Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems"],"prefix":"10.1007","volume":"14","author":[{"given":"George","family":"Voutsadakis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,3,3]]},"reference":[{"key":"9006_CR1","volume-title":"Category Theory for Computing Science","author":"M. Barr","year":"1999","unstructured":"Barr, M., and Wells, C.: Category Theory for Computing Science, 3rd edn., Les Publications CRM, Montr\u00e9al, 1999.","edition":"3"},{"key":"9006_CR2","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W. J. Blok","year":"1986","unstructured":"Blok, W. J., and Pigozzi, D.: Protoalgebraic logics, Stud. Log. 45 (1986), 337\u2013369.","journal-title":"Stud. Log."},{"key":"9006_CR3","doi-asserted-by":"crossref","unstructured":"Blok, W. J., and Pigozzi, D.: Algebraizable logics, Mem. Am. Math. Soc. 77(396) (1989).","DOI":"10.1090\/memo\/0396"},{"key":"9006_CR4","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1016\/S0022-0000(76)80030-X","volume":"13","author":"S. L. Bloom","year":"1976","unstructured":"Bloom, S. L.: Varieties of ordered algebras, J. Comput. Syst. Sci. 13 (1976), 200\u2013212.","journal-title":"J. Comput. Syst. Sci."},{"key":"9006_CR5","doi-asserted-by":"crossref","unstructured":"Borceux, F.: Handbook of Categorical Algebra, Encyclopedia of Mathematics and its Applications, Vol. 50, Cambridge University Press, UK, 1994.","DOI":"10.1017\/CBO9780511525865"},{"key":"9006_CR6","doi-asserted-by":"crossref","unstructured":"Czelakowski, J.: Protoalgebraic Logics, Studia Logica Library 10, Kluwer, Dordrecht, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"key":"9006_CR7","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1093\/jigpal\/7.6.717","volume":"7","author":"P. Dellunde","year":"1999","unstructured":"Dellunde, P.: Equality-free logic: The method of diagrams and preservation theorems, Log. J. IGPL 7 (1999), 717\u2013732.","journal-title":"Log. J. IGPL"},{"key":"9006_CR8","doi-asserted-by":"crossref","first-page":"1242","DOI":"10.2307\/2275814","volume":"61","author":"P. Dellunde","year":"1996","unstructured":"Dellunde, P., and Jansana, R.: Some characterization theorems for infinitary universal horn logic without equality, J. Symb. Log. 61 (1996), 1242\u20131260.","journal-title":"J. Symb. Log."},{"key":"9006_CR9","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1004978316495","volume":"58","author":"R. Elgueta","year":"1997","unstructured":"Elgueta, R.: Characterizing classes defined without equality, Stud. Log. 58 (1997), 357\u2013394.","journal-title":"Stud. Log."},{"key":"9006_CR10","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s000120050090","volume":"40","author":"R. Elgueta","year":"1998","unstructured":"Elgueta, R.: Subdirect representation theory for classes without equality, Algebra Univers. 40 (1998), 201\u2013246.","journal-title":"Algebra Univers."},{"key":"9006_CR11","doi-asserted-by":"crossref","unstructured":"Font, J. M., and Jansana, R.: A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic, Vol. 7 (1996), Springer, Berlin Heidelberg New York, 1996.","DOI":"10.1007\/978-3-662-21591-3"},{"issue":"1\/2","key":"9006_CR12","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"J. M. Font","year":"2003","unstructured":"Font, J. M., Jansana, R., and Pigozzi, D.: A survey of abstract algebraic logic, Stud. Log. 74(1\/2) (2003), 13\u201397.","journal-title":"Stud. Log."},{"key":"9006_CR13","volume-title":"Partially Ordered Algebraic Structures","author":"L. Fuchs","year":"1963","unstructured":"Fuchs, L.: Partially Ordered Algebraic Structures, Pergamon, New York, 1963."},{"key":"9006_CR14","doi-asserted-by":"crossref","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, Springer, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"9006_CR15","unstructured":"Pigozzi, D.: Partially Ordered Varieties and QuasiVarieties, Preprint available at http:\/\/www.math.iastate.edu\/dpigozzi\/ ."},{"key":"9006_CR16","unstructured":"Voutsadakis, G.: Categorical Abstract Algebraic Logic: Tarski Congruence Systems, Logical Morphisms and Logical Quotients, Submitted to the Annals of Pure and Applied Logic, Preprint available at http:\/\/pigozzi.lssu.edu\/WWW\/research\/papers.html ."},{"issue":"4","key":"9006_CR17","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1305\/ndjfl\/1134397662","volume":"46","author":"G. Voutsadakis","year":"2005","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: Models of $$\\pi$$ -institutions, Notre Dame J. Form. Log., 46(4) (2005), 439\u2013460.","journal-title":"Notre Dame J. Form. Log."},{"key":"9006_CR18","unstructured":"Voutsadakis, G.: Categorical Abstract Algebraic Logic: Generalized Tarski Congruence Systems, Submitted to Theory and Applications of Categories, Preprint available at http:\/\/pigozzi.lssu.edu\/WWW\/research\/papers.html ."},{"issue":"3","key":"9006_CR19","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/s10485-005-5797-5","volume":"13","author":"G. Voutsadakis","year":"2005","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: $$({\\mathcal I},N)$$ -algebraic systems, Appl. Categ. Structures 13(3) (2005), 265\u2013280.","journal-title":"Appl. Categ. Structures"},{"key":"9006_CR20","unstructured":"Voutsadakis, G.: Categorical Abstract Algebraic Logic: Gentzen $$\\pi$$ -Institutions, Submitted to Mathematica Scandinavica, Preprint available at http:\/\/pigozzi.lssu.edu\/WWW\/research\/papers.html ."},{"key":"9006_CR21","unstructured":"Voutsadakis, G.: Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical properties, To appear in the Reports on Mathematical Logic, Preprint available at http:\/\/pigozzi.lssu.edu\/WWW\/research\/papers.html ."},{"key":"9006_CR22","unstructured":"Voutsadakis, G.: Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity, To appear in Studia Logica, Preprint available at http:\/\/pigozzi.lssu.edu\/WWW\/research\/papers.html ."},{"key":"9006_CR23","unstructured":"Voutsadakis, G.: Categorical Abstract Algebraic Logic: More on Protoalgebraicity, Submitted to the Notre Dame Journal of Formal Logic, Preprint available at http:\/\/pigozzi.lssu.edu\/WWW\/research\/papers.html ."},{"issue":"1","key":"9006_CR24","first-page":"109","volume":"62","author":"G. Voutsadakis","year":"2005","unstructured":"Voutsadakis, G.: Categorical abstract algebraic logic: Protoalgebraicity and Leibniz theory systems, Sci. Math. Jpn. 62(1) (2005), 109\u2013117.","journal-title":"Sci. Math. Jpn."},{"key":"9006_CR25","unstructured":"Voutsadakis, G.: Categorical Abstract Algebraic Logic: The Largest Theory System Included in a Theory Family, Submitted to Mathematical Logic Quarterly, Preprint available at http:\/\/pigozzi.lssu.edu\/WWW\/research\/papers.html ."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-005-9006-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-005-9006-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-005-9006-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:24:24Z","timestamp":1559154264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-005-9006-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["9006"],"URL":"https:\/\/doi.org\/10.1007\/s10485-005-9006-3","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}