Contente, Michele; Maietti, Maria Emilia The compatibility of the minimalist foundation with homotopy type theory. (English) Zbl 07811876 Theor. Comput. Sci. 991, Article ID 114421, 30 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Contente} and \textit{M. E. Maietti}, Theor. Comput. Sci. 991, Article ID 114421, 30 p. (2024; Zbl 07811876) Full Text: DOI arXiv
Climent Vidal, Juan; Cosme Llópez, Enric Functoriality of the Schmidt construction. (English) Zbl 07806939 Log. J. IGPL 31, No. 5, 822-893 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{J. Climent Vidal} and \textit{E. Cosme Llópez}, Log. J. IGPL 31, No. 5, 822--893 (2023; Zbl 07806939) Full Text: DOI
Kop, Cynthia; Vale, Deivid Tuple interpretations for higher-order complexity. (English) Zbl 07700636 Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 31, 22 p. (2021). MSC: 68-XX 03B70 68Qxx PDFBibTeX XMLCite \textit{C. Kop} and \textit{D. Vale}, LIPIcs -- Leibniz Int. Proc. Inform. 195, Article 31, 22 p. (2021; Zbl 07700636) Full Text: DOI arXiv
Goranko, Valentin How deontic logic ought to be: towards a many-sorted framework for normative reasoning. (English) Zbl 07655709 Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 219-238 (2021). MSC: 03B45 03B60 03B20 03A05 PDFBibTeX XMLCite \textit{V. Goranko}, in: Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 219--238 (2021; Zbl 07655709)
Peyras, Quentin; Brunel, Julien; Chemouil, David A decidable and expressive fragment of many-sorted first-order linear temporal logic. (English) Zbl 1518.68214 Inf. Comput. 280, Article ID 104641, 20 p. (2021). MSC: 68Q60 03B25 03B44 PDFBibTeX XMLCite \textit{Q. Peyras} et al., Inf. Comput. 280, Article ID 104641, 20 p. (2021; Zbl 1518.68214) Full Text: DOI HAL
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin Many-sorted hybrid modal languages. (English) Zbl 1518.68057 J. Log. Algebr. Methods Program. 120, Article ID 100644, 16 p. (2021). MSC: 68N30 03B45 03B70 68Q55 68Q60 PDFBibTeX XMLCite \textit{I. Leuştean} et al., J. Log. Algebr. Methods Program. 120, Article ID 100644, 16 p. (2021; Zbl 1518.68057) Full Text: DOI arXiv
Kim, Joongol The adverbial theory of numbers: some clarifications. (English) Zbl 1506.03030 Synthese 197, No. 9, 3981-4000 (2020). MSC: 03A05 00A30 03B65 PDFBibTeX XMLCite \textit{J. Kim}, Synthese 197, No. 9, 3981--4000 (2020; Zbl 1506.03030) Full Text: DOI
Bledin, Justin; Melamed, Yitzhak Spinozian model theory. (English) Zbl 07585711 Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 133-147 (2020). MSC: 03B45 PDFBibTeX XMLCite \textit{J. Bledin} and \textit{Y. Melamed}, in: Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24--28, 2020. London: College Publications. 133--147 (2020; Zbl 07585711)
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin A many-sorted polyadic modal logic. (English) Zbl 1471.03047 Fundam. Inform. 173, No. 2-3, 191-215 (2020). MSC: 03B45 03B70 03G15 03G25 06E25 68Q55 68Q60 PDFBibTeX XMLCite \textit{I. Leuştean} et al., Fundam. Inform. 173, No. 2--3, 191--215 (2020; Zbl 1471.03047) Full Text: DOI arXiv
McEldowney, Paul Anh On Morita equivalence and interpretability. (English) Zbl 1444.03004 Rev. Symb. Log. 13, No. 2, 388-415 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03A10 03F25 00A30 03A05 PDFBibTeX XMLCite \textit{P. A. McEldowney}, Rev. Symb. Log. 13, No. 2, 388--415 (2020; Zbl 1444.03004) Full Text: DOI
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin Operational semantics and program verification using many-sorted hybrid modal logic. (English) Zbl 1435.68199 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 446-476 (2019). MSC: 68Q60 03B45 68Q55 PDFBibTeX XMLCite \textit{I. Leuştean} et al., Lect. Notes Comput. Sci. 11714, 446--476 (2019; Zbl 1435.68199) Full Text: DOI arXiv
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef GRUNGE: a grand unified ATP challenge. (English) Zbl 07178973 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 123-141 (2019). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{C. E. Brown} et al., Lect. Notes Comput. Sci. 11716, 123--141 (2019; Zbl 07178973) Full Text: DOI arXiv
Casal, Filipe; Rasga, João Many-sorted equivalence of shiny and strongly polite theories. (English) Zbl 1425.68370 J. Autom. Reasoning 60, No. 2, 221-236 (2018). MSC: 68T15 03B35 68T20 PDFBibTeX XMLCite \textit{F. Casal} and \textit{J. Rasga}, J. Autom. Reasoning 60, No. 2, 221--236 (2018; Zbl 1425.68370) Full Text: DOI
Barrett, Thomas William; Halvorson, Hans Quine’s conjecture on many-sorted logic. (English) Zbl 1417.03120 Synthese 194, No. 9, 3563-3582 (2017). MSC: 03B10 03C52 18B99 16D60 PDFBibTeX XMLCite \textit{T. W. Barrett} and \textit{H. Halvorson}, Synthese 194, No. 9, 3563--3582 (2017; Zbl 1417.03120) Full Text: DOI Link
Chentsov, Alexey Many-sorted first-order composition-nominative logic as institution. (English) Zbl 1390.03030 Comput. Sci. J. Mold. 24, No. 1(70), 27-54 (2016). MSC: 03B70 03G30 68P01 PDFBibTeX XMLCite \textit{A. Chentsov}, Comput. Sci. J. Mold. 24, No. 1(70), 27--54 (2016; Zbl 1390.03030) Full Text: Link
Barrett, Thomas William; Halvorson, Hans Morita equivalence. (English) Zbl 1397.03017 Rev. Symb. Log. 9, No. 3, 556-582 (2016). Reviewer: Jānis Cīrulis (Riga) MSC: 03B30 03G30 03B10 03C07 PDFBibTeX XMLCite \textit{T. W. Barrett} and \textit{H. Halvorson}, Rev. Symb. Log. 9, No. 3, 556--582 (2016; Zbl 1397.03017) Full Text: DOI arXiv
Climent Vidal, J.; Soliveres Tur, J. On the preservation of the standard characterizations of some colimits in the passage from single-sorted to many-sorted universal algebra. (English) Zbl 1402.08003 Houston J. Math. 42, No. 3, 741-760 (2016). MSC: 08A68 03C20 18A30 08C15 08B25 03G30 PDFBibTeX XMLCite \textit{J. Climent Vidal} and \textit{J. Soliveres Tur}, Houston J. Math. 42, No. 3, 741--760 (2016; Zbl 1402.08003)
Manzano, María April the 19th. (English) Zbl 1330.03005 Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 265-278 (2014). MSC: 03-03 01A60 PDFBibTeX XMLCite \textit{M. Manzano}, in: The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer. 265--278 (2014; Zbl 1330.03005) Full Text: DOI
Nagul, N. V. The logic-algebraic equations method in system dynamics. (English. Russian original) Zbl 1272.93039 St. Petersbg. Math. J. 24, No. 4, 645-662 (2013); translation from Algebra Anal. 24, No. 4, 156-181 (2012). MSC: 93B25 93C65 PDFBibTeX XMLCite \textit{N. V. Nagul}, St. Petersbg. Math. J. 24, No. 4, 645--662 (2013; Zbl 1272.93039); translation from Algebra Anal. 24, No. 4, 156--181 (2012) Full Text: DOI
Adámek, Jiří; Rosický, Jiří; Vitale, Enrico M. Birkhoff’s variety theorem in many sorts. (English) Zbl 1257.08003 Algebra Univers. 68, No. 1-2, 39-42 (2012). Reviewer: Radomír Halaš (Prostejov) MSC: 08A68 08B05 08C05 PDFBibTeX XMLCite \textit{J. Adámek} et al., Algebra Univers. 68, No. 1--2, 39--42 (2012; Zbl 1257.08003) Full Text: DOI
Turner, Jason Logic and ontological pluralism. (English) Zbl 1259.03013 J. Philos. Log. 41, No. 2, 419-448 (2012). MSC: 03A05 PDFBibTeX XMLCite \textit{J. Turner}, J. Philos. Log. 41, No. 2, 419--448 (2012; Zbl 1259.03013) Full Text: DOI
Tarlecki, Andrzej Some nuances of many-sorted universal algebra: a review. (English) Zbl 1261.68088 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 104, 89-111 (2011). MSC: 68Q65 08A70 03C05 PDFBibTeX XMLCite \textit{A. Tarlecki}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 104, 89--111 (2011; Zbl 1261.68088)
Pallares-Vega, Ivonne Algebraic theories and their models. (Spanish) Zbl 1254.03122 Aguilar, M. (ed.) et al., Memorias de la Sociedad Matemática Mexicana. México: Sociedad Matemática Mexicana; México: Universidad Nacional Autónoma de México (UNAM). Aportaciones Matemáticas. Comunicaciones 41, 99-117 (2010). Reviewer: Juan Climent Vidal (València) MSC: 03G30 18C10 PDFBibTeX XMLCite \textit{I. Pallares-Vega}, Aportaciones Mat., Comun. 41, 99--117 (2010; Zbl 1254.03122)
Kurz, Alexander; Petrişan, Daniela Presenting functors on many-sorted varieties and applications. (English) Zbl 1252.18009 Inf. Comput. 208, No. 12, 1421-1446 (2010). MSC: 18C05 03G30 08C05 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{D. Petrişan}, Inf. Comput. 208, No. 12, 1421--1446 (2010; Zbl 1252.18009) Full Text: DOI
Climent Vidal, J.; Soliveres Tur, J. A 2-categorial generalization of the concept of institution. (English) Zbl 1220.03053 Stud. Log. 95, No. 3, 301-344 (2010). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 18C15 18D05 PDFBibTeX XMLCite \textit{J. Climent Vidal} and \textit{J. Soliveres Tur}, Stud. Log. 95, No. 3, 301--344 (2010; Zbl 1220.03053) Full Text: DOI
Abadi, Aharon; Rabinovich, Alexander; Sagiv, Mooly Decidable fragments of many-sorted logic. (English) Zbl 1183.03007 J. Symb. Comput. 45, No. 2, 153-172 (2010). MSC: 03B25 68Q60 PDFBibTeX XMLCite \textit{A. Abadi} et al., J. Symb. Comput. 45, No. 2, 153--172 (2010; Zbl 1183.03007) Full Text: DOI
Fiorentini, Camillo; Momigliano, Alberto; Ornaghi, Mario Towards a type discipline for answer set programming. (English) Zbl 1246.68080 Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 117-135 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{C. Fiorentini} et al., Lect. Notes Comput. Sci. 5497, 117--135 (2009; Zbl 1246.68080) Full Text: DOI
Caleiro, Carlos; Gonçalves, Ricardo; Martins, Manuel Behavioral algebraization of logics. (English) Zbl 1171.03040 Stud. Log. 91, No. 1, 63-111 (2009). Reviewer: Manuel Abad (Bahia Blanca) MSC: 03G25 PDFBibTeX XMLCite \textit{C. Caleiro} et al., Stud. Log. 91, No. 1, 63--111 (2009; Zbl 1171.03040) Full Text: DOI Link
Rognes, André Turning decision procedures into disprovers. (English) Zbl 1171.03039 Math. Log. Q. 55, No. 1, 87-104 (2009). Reviewer: Viorica Sofronie-Stokkermans (Saarbrücken) MSC: 03G15 03B25 03B35 PDFBibTeX XMLCite \textit{A. Rognes}, Math. Log. Q. 55, No. 1, 87--104 (2009; Zbl 1171.03039) Full Text: DOI
Feferman, Solomon Harmonious logic: Craig’s interpolation theorem and its descendants. (English) Zbl 1169.03027 Synthese 164, No. 3, 341-357 (2008). MSC: 03C40 01A60 03-03 03C95 PDFBibTeX XMLCite \textit{S. Feferman}, Synthese 164, No. 3, 341--357 (2008; Zbl 1169.03027) Full Text: DOI
Corcoran, John Notes on the founding of logics and metalogic: Aristotle, Boole, and Tarski. (English) Zbl 1165.03300 Martínez, Concha (ed.) et al., Current topics in logic and analytic philosophy/Temas actuales de lógica y filosofía analítica. Papers from the colloquium on logic and analytic philosophy, Santiago de Compostela, Spain, 2001–2005. Santiago de Compostela: Universidade de Santiago de Compostela (ISBN 978-84-9750-811-7/pbk). Cursos e Congresos da Universidade de Santiago de Compostela 167, 143-176 (2007). MSC: 03-03 03A05 PDFBibTeX XMLCite \textit{J. Corcoran}, in: Current topics in logic and analytic philosophy/Temas actuales de lógica y filosofía analítica. Papers from the colloquium on logic and analytic philosophy, Santiago de Compostela, Spain, 2001--2005. Santiago de Compostela: Universidade de Santiago de Compostela. 143--176 (2007; Zbl 1165.03300)
Baader, Franz; Ghilardi, Silvio Connecting many-sorted theories. (English) Zbl 1136.03012 J. Symb. Log. 72, No. 2, 535-583 (2007). Reviewer: Albert A. Mullin (Madison) MSC: 03B25 03B35 03B45 03D40 68T27 PDFBibTeX XMLCite \textit{F. Baader} and \textit{S. Ghilardi}, J. Symb. Log. 72, No. 2, 535--583 (2007; Zbl 1136.03012) Full Text: DOI
Găină, Daniel; Popescu, Andrei An institution-independent proof of the Robinson consistency theorem. (English) Zbl 1123.03059 Stud. Log. 85, No. 1, 41-73 (2007). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03B10 03C40 PDFBibTeX XMLCite \textit{D. Găină} and \textit{A. Popescu}, Stud. Log. 85, No. 1, 41--73 (2007; Zbl 1123.03059) Full Text: DOI
Kracht, Marcus Partial algebras, meaning categories and algebraization. (English) Zbl 1088.03028 Theor. Comput. Sci. 354, No. 1, 131-141 (2006). MSC: 03B65 03G25 08A55 PDFBibTeX XMLCite \textit{M. Kracht}, Theor. Comput. Sci. 354, No. 1, 131--141 (2006; Zbl 1088.03028) Full Text: DOI
Climent Vidal, Juan; Soliveres Tur, Juan On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories. (English) Zbl 1096.03031 Rep. Math. Logic 40, 127-158 (2006). MSC: 03C05 18C10 08B05 PDFBibTeX XMLCite \textit{J. Climent Vidal} and \textit{J. Soliveres Tur}, Rep. Math. Logic 40, 127--158 (2006; Zbl 1096.03031)
Borzyszkowski, Tomasz Generalized interpolation in first order logic. (English) Zbl 1100.03020 Fundam. Inform. 66, No. 3, 199-219 (2005). MSC: 03C40 03B10 68Q65 PDFBibTeX XMLCite \textit{T. Borzyszkowski}, Fundam. Inform. 66, No. 3, 199--219 (2005; Zbl 1100.03020)
Madarász, Judit X.; Németi, István; Tőke, Csaba On generalizing the logic-approach to space-time towards general relativity: first steps. (English) Zbl 1096.03030 Hendricks, Vincent (ed.) et al., First-order logic revisited. Proceedings of the conference FOL75 – 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18–21, 2003. Berlin: Logos Verlag (ISBN 3-8325-0475-3/pbk). Logische Philosophie 12, 225-268 (2004). MSC: 03B80 03B10 83C99 PDFBibTeX XMLCite \textit{J. X. Madarász} et al., Logische Philos. 12, 225--268 (2004; Zbl 1096.03030)
Fischer, E.; Makowsky, J. A. On spectra of sentences of monadic second order logic with counting. (English) Zbl 1070.03018 J. Symb. Log. 69, No. 3, 617-640 (2004). MSC: 03C13 03B15 03D05 68Q45 PDFBibTeX XMLCite \textit{E. Fischer} and \textit{J. A. Makowsky}, J. Symb. Log. 69, No. 3, 617--640 (2004; Zbl 1070.03018) Full Text: DOI
Pitts, Andrew M. Nominal logic, a first order theory of names and binding. (English) Zbl 1056.03014 Inf. Comput. 186, No. 2, 165-193 (2003). MSC: 03B70 68N30 68Q55 PDFBibTeX XMLCite \textit{A. M. Pitts}, Inf. Comput. 186, No. 2, 165--193 (2003; Zbl 1056.03014) Full Text: DOI
Tucker, J. V.; Zucker, J. I. Infinitary initial algebra specifications for stream algebras. (English) Zbl 1017.08003 Sieg, Wilfried (ed.) et al., Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Natick, MA: A K Peters. Lect. Notes Log. 15, 228-247 (2002). Reviewer: Valentin F.Goranko (Johannesburg) MSC: 08A70 68Q65 03C75 68P05 PDFBibTeX XMLCite \textit{J. V. Tucker} and \textit{J. I. Zucker}, Lect. Notes Log. 15, 228--247 (2002; Zbl 1017.08003)
Jacobs, Bart Many-sorted coalgebraic modal logic: A model-theoretic study. (English) Zbl 0984.03019 Theor. Inform. Appl. 35, No. 1, 31-59 (2001). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B45 03B70 06E25 03G25 PDFBibTeX XMLCite \textit{B. Jacobs}, Theor. Inform. Appl. 35, No. 1, 31--59 (2001; Zbl 0984.03019) Full Text: DOI Numdam EuDML Link
Hendriks, Herman Compositionality and model-theoretic interpretation. (English) Zbl 0958.03020 J. Logic Lang. Inf. 10, No. 1, 29-48 (2001). MSC: 03B65 03A05 PDFBibTeX XMLCite \textit{H. Hendriks}, J. Logic Lang. Inf. 10, No. 1, 29--48 (2001; Zbl 0958.03020) Full Text: DOI
Cheung, Leo K. C. The Tractarian operation \(N\) and expressive completeness. (English) Zbl 0964.03003 Synthese 123, No. 2, 247-261 (2000). MSC: 03A05 PDFBibTeX XMLCite \textit{L. K. C. Cheung}, Synthese 123, No. 2, 247--261 (2000; Zbl 0964.03003) Full Text: DOI
Delić, Dejan A finitely axiomatizable undecidable equational theory with recursively solvable word problems. (English) Zbl 0948.03008 Trans. Am. Math. Soc. 352, No. 7, 3065-3101 (2000). Reviewer: A.A.Mullin (Huntsville) MSC: 03B25 08A50 08B05 03D40 03D05 03C05 PDFBibTeX XMLCite \textit{D. Delić}, Trans. Am. Math. Soc. 352, No. 7, 3065--3101 (2000; Zbl 0948.03008) Full Text: DOI
Coniglio, Marcelo E. A logic for sheaves over (right sided and idempotent) quantales. (English) Zbl 1041.03054 Haeusler, Edward Hermann (ed.) et al., PRATICA. Proofs, types and categories. Selected papers from PRATICA’95, PRATICA’96 and PRATICA’98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro (ISBN 85-900900-1-9/pbk). 185-212 (1999). Reviewer: Dimitru Busneag (Craiova) MSC: 03G25 18F20 06F07 03C07 03G30 PDFBibTeX XMLCite \textit{M. E. Coniglio}, in: PRATICA. Proofs, types and categories. Selected papers from PRATICA'95, PRATICA'96 and PRATICA'98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro. 185--212 (1999; Zbl 1041.03054)
Dowek, Gilles Collections, sets and types. (English) Zbl 0937.03010 Math. Struct. Comput. Sci. 9, No. 1, 109-123 (1999). Reviewer: P.Materna (Praha) MSC: 03B15 PDFBibTeX XMLCite \textit{G. Dowek}, Math. Struct. Comput. Sci. 9, No. 1, 109--123 (1999; Zbl 0937.03010) Full Text: DOI
Chien, Y. P.; Hudli, Anand; Palakal, Mathew Using many-sorted logic in the object-oriented data model for fast robot task planning. (English) Zbl 0916.68147 J. Intell. Robot. Syst. 23, No. 1, 1-25 (1998). MSC: 68T20 68U20 93C85 PDFBibTeX XMLCite \textit{Y. P. Chien} et al., J. Intell. Robot. Syst. 23, No. 1, 1--25 (1998; Zbl 0916.68147) Full Text: DOI
Van den Bussche, Jan; Cabibbo, Luca Converting untyped formulas to typed ones. (English) Zbl 0920.03011 Acta Inf. 35, No. 8, 637-643 (1998). MSC: 03B10 68P15 PDFBibTeX XMLCite \textit{J. Van den Bussche} and \textit{L. Cabibbo}, Acta Inf. 35, No. 8, 637--643 (1998; Zbl 0920.03011) Full Text: DOI Link
Hatzilygeroudis, Ioannis; Reichgelt, Han Handling inheritance in a system integrating logic in objects. (English) Zbl 0900.68391 Data Knowl. Eng. 21, No. 3, 253-280 (1997). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{I. Hatzilygeroudis} and \textit{H. Reichgelt}, Data Knowl. Eng. 21, No. 3, 253--280 (1997; Zbl 0900.68391) Full Text: DOI
Walicki, Michal; Meldal, Sigurd Singular and plural nondeterministic parameters. (English) Zbl 0885.68110 SIAM J. Comput. 26, No. 4, 991-1005 (1997). MSC: 68Q65 68Q60 68Q10 68Q55 03B60 08A70 PDFBibTeX XMLCite \textit{M. Walicki} and \textit{S. Meldal}, SIAM J. Comput. 26, No. 4, 991--1005 (1997; Zbl 0885.68110) Full Text: DOI
De Troyer, Olga A formalization of the Binary Object-Role Model based on logic. (English) Zbl 0875.68303 Data Knowl. Eng. 19, No. 1, 1-37 (1996). MSC: 68P05 PDFBibTeX XMLCite \textit{O. De Troyer}, Data Knowl. Eng. 19, No. 1, 1--37 (1996; Zbl 0875.68303) Full Text: DOI
Nishimura, Hirokazu Logical quantizations of first-order structures. (English) Zbl 0867.03021 Int. J. Theor. Phys. 35, No. 3, 495-517 (1996). Reviewer: S.V.Solov’ev (Durham) MSC: 03G30 03C75 18F05 81P10 PDFBibTeX XMLCite \textit{H. Nishimura}, Int. J. Theor. Phys. 35, No. 3, 495--517 (1996; Zbl 0867.03021) Full Text: DOI
Manzano, Maria Extensions of first order logic. (English) Zbl 0848.03001 Cambridge Tracts in Theoretical Computer Science. 19. Cambridge: Cambridge Univ. Press. xxii, 388 p. (1996). Reviewer: B.Boričić (Heraklion) MSC: 03B15 03-01 03F35 03B45 03B10 03G25 03-02 PDFBibTeX XMLCite \textit{M. Manzano}, Extensions of first order logic. Cambridge: Cambridge Univ. Press (1996; Zbl 0848.03001)
Weidenbach, Christoph Unification in sort theories and its applications. (English) Zbl 0887.03006 Ann. Math. Artif. Intell. 18, No. 2-4, 261-293 (1996). MSC: 03B35 03B10 PDFBibTeX XMLCite \textit{C. Weidenbach}, Ann. Math. Artif. Intell. 18, No. 2--4, 261--293 (1996; Zbl 0887.03006) Full Text: DOI
Gavilanes, A.; Leach, J.; Nieva, S. Free variable tableaux for a many sorted logic with preorders. (English) Zbl 0886.03007 Wirsing, Martin (ed.) et al., Algebraic methodology and software technology. 5th international conference, AMAST ’96, Munich, Germany, July 1-5, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1101, 102-116 (1996). MSC: 03B35 03B10 PDFBibTeX XMLCite \textit{A. Gavilanes} et al., Lect. Notes Comput. Sci. 1101, 102--116 (1996; Zbl 0886.03007)
Weidenbach, Christoph First-order tableaux with sorts. (English) Zbl 0879.03007 J. IGPL 3, No. 6, 887-906 (1995). Reviewer: G.Dowek (Le Chesnay) MSC: 03B35 03B10 PDFBibTeX XMLCite \textit{C. Weidenbach}, J. IGPL 3, No. 6, 887--906 (1995; Zbl 0879.03007)
Sernadas, Amílcar; Sernadas, Cristina; Costa, José Félix Object specification logic. (English) Zbl 0829.03013 J. Log. Comput. 5, No. 5, 603-630 (1995). MSC: 03B60 03B45 68Q65 03G30 03B80 PDFBibTeX XMLCite \textit{A. Sernadas} et al., J. Log. Comput. 5, No. 5, 603--630 (1995; Zbl 0829.03013) Full Text: DOI
Bell, J. L. Type reducing correspondences and well-orderings: Frege’s and Zermelo’s constructions re-examined. (English) Zbl 0829.03004 J. Symb. Log. 60, No. 1, 209-221 (1995). Reviewer: M.Tetruašvili (Tbilisi) MSC: 03B10 03E25 PDFBibTeX XMLCite \textit{J. L. Bell}, J. Symb. Log. 60, No. 1, 209--221 (1995; Zbl 0829.03004) Full Text: DOI
Burmeister, Peter On the equivalence of ECE- and generalized Kleene-equations for many-sorted partial algebras. (English) Zbl 0894.08002 Contributions to general algebra 9. Proceedings of the conference, Linz, Austria, June 1994. Wien: Hölder-Pichler-Tempsky, 91-106 (1995). Reviewer: B.Wojdyło (Toruń) MSC: 08A55 08B05 PDFBibTeX XMLCite \textit{P. Burmeister}, Contrib. Gen. Algebra 9, 91--106 (1995; Zbl 0894.08002)
Grigore, Rosu The institution of order-sorted equational logic. (English) Zbl 0798.03041 Bull. EATCS 53, 250-255 (1994). MSC: 03C95 08B05 03G30 08A70 68Q55 PDFBibTeX XMLCite \textit{R. Grigore}, Bull. EATCS 53, 250--255 (1994; Zbl 0798.03041)
Burmeister, Peter Partial algebras – An introductory survey. (English) Zbl 0789.08003 Rosenberg, Ivo (ed.) et al., Algebras and orders. Proceedings of the NATO Advanced Study Institute and Séminaire de mathématiques supérieures, Montréal, Canada, July 29 - August 9, 1991. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 389, 1-70 (1993). MSC: 08A55 68Q65 08A70 08-01 PDFBibTeX XMLCite \textit{P. Burmeister}, NATO ASI Ser., Ser. C, Math. Phys. Sci. 389, 1--70 (1993; Zbl 0789.08003)
Meinke, K. (ed.); Tucker, J. V. (ed.) Many-sorted logic and its applications. (English) Zbl 0781.03003 Wiley Professional Computing. Chichester: John Wiley & Sons. xvii, 397 p. (1993). Reviewer: N.Curteanu (Iaşi) MSC: 03B10 03-06 68-06 68T30 03B70 00B15 68Q60 03B45 08A70 68Q55 PDFBibTeX XMLCite \textit{K. Meinke} (ed.) and \textit{J. V. Tucker} (ed.), Many-sorted logic and its applications. Chichester: John Wiley \& Sons (1993; Zbl 0781.03003)
Meinke, Karl Universal algebra in higher types. (English) Zbl 0777.08008 Theor. Comput. Sci. 100, No. 2, 385-417 (1992). Reviewer: A.A.Mullin (Huntsville) MSC: 08A70 68Q65 03B15 PDFBibTeX XMLCite \textit{K. Meinke}, Theor. Comput. Sci. 100, No. 2, 385--417 (1992; Zbl 0777.08008) Full Text: DOI
Makarov, V. P. Inherited extension of many-sorted theories. (English. Russian original) Zbl 0875.68640 Cybern. Syst. Anal. 28, No. 5, 792-795 (1992); translation from Kibern. Sist. Anal. 1992, No. 5, 165-169 (1992). MSC: 68Q60 03B70 68T99 PDFBibTeX XMLCite \textit{V. P. Makarov}, Cybern. Syst. Anal. 28, No. 5, 792--795 (1992; Zbl 0875.68640); translation from Kibern. Sist. Anal. 1992, No. 5, 165--169 (1992) Full Text: DOI
Yang, J. S. H.; Chin, Y. H.; Chung, C. G. Many-sorted first-order logic database language. (English) Zbl 0757.68031 Comput. J. 35, No. 2, 129-137 (1992). MSC: 68N17 68P15 PDFBibTeX XMLCite \textit{J. S. H. Yang} et al., Comput. J. 35, No. 2, 129--137 (1992; Zbl 0757.68031) Full Text: DOI
Lenart, Mihaly; Pasztor, Ana Knowledge based specification of the design process using many-sorted logic. (English) Zbl 0847.68092 Ulam Q. 1, No. 4, 15 p. (1992). Reviewer: G.Ciobanu (MR 94f:68154) MSC: 68T01 03B10 PDFBibTeX XML
Tonino, Hans; Fujita, Ken-etsu On the adequacy of representing higher order intuitionistic logic as a pure type system. (English) Zbl 0763.03007 Ann. Pure Appl. Logic 57, No. 3, 251-276 (1992). MSC: 03B15 03B20 03B40 PDFBibTeX XMLCite \textit{H. Tonino} and \textit{K.-e. Fujita}, Ann. Pure Appl. Logic 57, No. 3, 251--276 (1992; Zbl 0763.03007) Full Text: DOI
Schoett, Oliver Two impossibility theorems on behaviour specification of abstract data types. (English) Zbl 0790.68080 Acta Inf. 29, No. 6-7, 595-621 (1992). Reviewer: O.Schoett (München) MSC: 68Q65 68Q60 03B70 PDFBibTeX XMLCite \textit{O. Schoett}, Acta Inf. 29, No. 6--7, 595--621 (1992; Zbl 0790.68080) Full Text: DOI
Čaplinskas, Albertas; Čikotaitė, Laima; Sinkevičiūtė, Sigita On a program system specification language. (English) Zbl 0789.68092 Planavimo Valdymo Procesu Autom. 13, 9-20 (1992). MSC: 68Q60 68N99 PDFBibTeX XMLCite \textit{A. Čaplinskas} et al., Planavimo Valdymo Procesu Autom. 13, 9--20 (1992; Zbl 0789.68092)
Suchenek, Marek A. Partial correctness without actual infinity. (English) Zbl 0661.68029 Stud. Sci. Math. Hung. 27, No. 1-2, 159-167 (1992). Reviewer: M.A.Suchenek MSC: 68Q65 68Q60 03B70 03C13 03H99 PDFBibTeX XMLCite \textit{M. A. Suchenek}, Stud. Sci. Math. Hung. 27, No. 1--2, 159--167 (1992; Zbl 0661.68029)
Manca, Vincenzo; Salibra, Antonino Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets. (English) Zbl 0749.08005 Theor. Comput. Sci. 94, No. 1, 101-124 (1992). Reviewer: S.Bloom (Hoboken) MSC: 08A70 08B05 68Q55 68Q60 68Q65 PDFBibTeX XMLCite \textit{V. Manca} and \textit{A. Salibra}, Theor. Comput. Sci. 94, No. 1, 101--124 (1992; Zbl 0749.08005) Full Text: DOI
Cohn, Anthony G. Completing sort hierarchies. (English) Zbl 0794.68138 Comput. Math. Appl. 23, No. 6-9, 477-491 (1992). MSC: 68T15 68T27 68P10 PDFBibTeX XMLCite \textit{A. G. Cohn}, Comput. Math. Appl. 23, No. 6--9, 477--491 (1992; Zbl 0794.68138) Full Text: DOI
Rodenburg, P. H. A simple algebraic proof of the equational interpolation theorem. (English) Zbl 0756.08005 Algebra Univers. 28, No. 1, 48-51 (1991). Reviewer: C.S.Kalfa (Thessaloniki) MSC: 08B05 PDFBibTeX XMLCite \textit{P. H. Rodenburg}, Algebra Univers. 28, No. 1, 48--51 (1991; Zbl 0756.08005) Full Text: DOI
Manca, Vincenzo; Salibra, Antonino On the power of equational logic: Applications and extensions. (English) Zbl 0749.08004 Algebraic logic, Pap. Colloq., Budap./Hung. 1988, Colloq. Math. Soc. János Bolyai 54, 393-412 (1991). Reviewer: S.Bloom (Hoboken) MSC: 08A70 68Q65 03C05 08C10 PDFBibTeX XMLCite \textit{V. Manca} and \textit{A. Salibra}, Colloq. Math. Soc. János Bolyai 54, 393--412 (1991; Zbl 0749.08004)
Sperschneider, Volker; Antoniou, Grigorios Logic: a foundation for computer science. (English) Zbl 0755.68008 Amsterdam etc.: Addison-Wesley Publishing Group. XII, 495 p. (1991). Reviewer: G.Asser (Greifswald) MSC: 68-01 03-01 68N17 68T27 03B70 PDFBibTeX XMLCite \textit{V. Sperschneider} and \textit{G. Antoniou}, Logic: a foundation for computer science. Amsterdam etc.: Addison-Wesley Publishing Group (1991; Zbl 0755.68008)
Kreowski, Hans-Jörg Logical foundations of computer science. (Logische Grundlagen der Informatik.) (German) Zbl 0746.03002 Handbuch der Informatik. 1.1. München etc.: R. Oldenbourg Verlag. 165 S. (1991). Reviewer: R.S.Lubarsky (Lancaster) MSC: 03-01 68-01 PDFBibTeX XMLCite \textit{H.-J. Kreowski}, Logische Grundlagen der Informatik. München etc.: R. Oldenbourg Verlag (1991; Zbl 0746.03002)
Tekko, Jaanus A formal model for the language LSD and the calculus CSD. (Russian. English summary) Zbl 0794.68051 Eesti Tead. Akad. Toim., Füüs. Mat. 40, No. 4, 266-278 (1991). MSC: 68Q10 03B80 03F03 PDFBibTeX XMLCite \textit{J. Tekko}, Eesti Tead. Akad. Toim., Füüs. Mat. 40, No. 4, 266--278 (1991; Zbl 0794.68051)
Gergely, Tamás; Úry, László First-order programming theories. (English) Zbl 0799.68006 EATCS Monographs on Theoretical Computer Science. 24. Berlin etc.: Springer-Verlag. VIII, 351 p. (1991). MSC: 68-02 03B70 68N01 68Q60 68Q55 68N15 PDFBibTeX XMLCite \textit{T. Gergely} and \textit{L. Úry}, First-order programming theories. Berlin etc.: Springer-Verlag (1991; Zbl 0799.68006)
Wolter, Uwe An algebraic approach to deduction in equational partial Horn theories. (English) Zbl 0724.68021 J. Inf. Process. Cybern. 27, No. 2, 85-128 (1991). Reviewer: C.Masalagiu (Iaşi) MSC: 68N17 06B35 08A55 03C05 PDFBibTeX XMLCite \textit{U. Wolter}, J. Inf. Process. Cybern. 27, No. 2, 85--128 (1991; Zbl 0724.68021)
Purdy, William C. A logic for natural language. (English) Zbl 0746.03018 Notre Dame J. Formal Logic 32, No. 3, 409-425 (1991). MSC: 03B65 PDFBibTeX XMLCite \textit{W. C. Purdy}, Notre Dame J. Formal Logic 32, No. 3, 409--425 (1991; Zbl 0746.03018) Full Text: DOI
Rodenburg, P. H. Interpolation in conditional equational logic. (English) Zbl 0742.08005 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 1, 80-85 (1991). Reviewer: H.-J.Vogel (Potsdam) MSC: 08C15 03C40 03C20 03B10 PDFBibTeX XMLCite \textit{P. H. Rodenburg}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 1, 80--85 (1991; Zbl 0742.08005)
Walther, Christoph Many-sorted inference in automated theorem proving. (English) Zbl 0747.68084 Sorts and types in artificial intelligence, Proc. Workshop, Eringerfeld/FRG 1989, Lect. Notes Comput. Sci. 418, 18-48 (1990). Reviewer: N.Curteanu (Iaşi) MSC: 68T27 68T15 PDFBibTeX XMLCite \textit{C. Walther}, Lect. Notes Comput. Sci. None, 18--48 (1990; Zbl 0747.68084)
Oberschelp, Arnold Order sorted predicate logic. (English) Zbl 0747.68081 Sorts and types in artificial intelligence, Proc. Workshop, Eringerfeld/FRG 1989, Lect. Notes Comput. Sci. 418, 8-17 (1990). Reviewer: N.Curteanu (Iaşi) MSC: 68T27 68T15 68Q65 03B15 PDFBibTeX XMLCite \textit{A. Oberschelp}, Lect. Notes Comput. Sci. None, 8--17 (1990; Zbl 0747.68081)
Knyazev, V. V. The zero-one law for the many-sorted logic of the first order predicates. (English. Russian original) Zbl 0787.03022 Discrete Math. Appl. 2, No. 2, 219-223 (1992); translation from Diskretn. Mat. 2, No. 3, 97-101 (1990). MSC: 03C13 03B25 PDFBibTeX XMLCite \textit{V. V. Knyazev}, Discrete Math. Appl. 2, No. 2, 1 (1990; Zbl 0787.03022); translation from Diskretn. Mat. 2, No. 3, 97--101 (1990) Full Text: DOI
Bläsius, Karl H. (ed.); Hedtstück, Ulrich (ed.); Rollinger, Claus- Rainer (ed.) Sorts and types in artificial intelligence. Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings. (English) Zbl 0743.68016 Lecture Notes in Artificial Intelligence. 418. Berlin etc.: Springer- Verlag. VIII, 307 p. (1990). MSC: 68-06 68T27 68T99 68T50 03B65 68N17 PDFBibTeX XMLCite \textit{K. H. Bläsius} (ed.) et al., Sorts and types in artificial intelligence. Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0743.68016)
Manca, Vincenzo; Salibra, Antonino Equational calculi for many-sorted algebras with empty carrier sets. (English) Zbl 0733.03020 Mathematical foundations of computer science, Proc. 15th Symp., MFCS ’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 423-429 (1990). MSC: 03C05 08B05 68Q65 03G25 PDFBibTeX XML
Ghilardi, S.; Meloni, G. C. Modal logics with \(n\)-ary connectives. (English) Zbl 0729.03008 Z. Math. Logik Grundlagen Math. 36, No. 3, 193-215 (1990). Reviewer: V.V.Rybakov (Krasnoyarsk) MSC: 03B45 03G30 PDFBibTeX XMLCite \textit{S. Ghilardi} and \textit{G. C. Meloni}, Z. Math. Logik Grundlagen Math. 36, No. 3, 193--215 (1990; Zbl 0729.03008) Full Text: DOI
Peregrin, Jaroslav On a logical formalization of natural language. (English) Zbl 0725.03011 Kybernetika 26, No. 4, 327-341 (1990). Reviewer: V.Shekhtman (Moskva) MSC: 03B65 PDFBibTeX XMLCite \textit{J. Peregrin}, Kybernetika 26, No. 4, 327--341 (1990; Zbl 0725.03011) Full Text: EuDML Link
Courcelle, Bruno The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. (English) Zbl 0722.03008 Inf. Comput. 85, No. 1, 12-75 (1990). Reviewer: Li Xiang (Guiyang) MSC: 03B15 68R10 05C75 05C65 03B25 68Q45 08A70 PDFBibTeX XMLCite \textit{B. Courcelle}, Inf. Comput. 85, No. 1, 12--75 (1990; Zbl 0722.03008) Full Text: DOI
Knyazev, V. V. 0-1 law for many-sorted predicate logic of first order. (Russian) Zbl 0717.03010 Diskretn. Mat. 2, No. 3, 97-101 (1990). MSC: 03C13 03B25 PDFBibTeX XMLCite \textit{V. V. Knyazev}, Diskretn. Mat. 2, No. 3, 97--101 (1990; Zbl 0717.03010)
Pigozzi, Don Data types over multiple-valued logics. (English) Zbl 0716.03012 Theor. Comput. Sci. 77, No. 1-2, 161-194 (1990). MSC: 03B50 68Q65 03C05 03G99 PDFBibTeX XMLCite \textit{D. Pigozzi}, Theor. Comput. Sci. 77, No. 1--2, 161--194 (1990; Zbl 0716.03012) Full Text: DOI
Beierle, C.; Pletat, U. Integrating logic programming and equational specification of abstract data types. (English) Zbl 0708.68039 Algebraic and logic programming, Proc. Int. Workshop, Gaussig/GDR 1988, Lect. Notes Comput. Sci. 343, 71-82 (1989). Reviewer: M.Steinby MSC: 68Q65 68N17 PDFBibTeX XML
Sazonov, V. Yu. A category of many-sorted algebraic theories wich is equivalent to the category of categories with finite products. (English) Zbl 0706.18004 Logic at Botik, Proc. Symposium on logical foundations of computer science, Pereslavl-Zalessky/USSR 1989, Lect. Notes Comput. Sci. 363, 230-244 (1989). Reviewer: W.Tholen MSC: 18C10 PDFBibTeX XML
Anshakov, O. M.; Finn, V. K.; Skvortsov, D. P. On axiomatization of many-valued logics associated with formalization of plausible reasonings. (English) Zbl 0706.03021 Stud. Log. 48, No. 4, 423-447 (1989). Reviewer: L.F.Goble MSC: 03B50 PDFBibTeX XMLCite \textit{O. M. Anshakov} et al., Stud. Log. 48, No. 4, 423--447 (1989; Zbl 0706.03021) Full Text: DOI
Nakahara, Hayao Proofs and programs: A naïve approach to program extraction. (English) Zbl 0698.68015 Publ. Res. Inst. Math. Sci. 25, No. 3, 415-489 (1989). Reviewer: A.P.Stolboushkin MSC: 68Q60 PDFBibTeX XMLCite \textit{H. Nakahara}, Publ. Res. Inst. Math. Sci. 25, No. 3, 415--489 (1989; Zbl 0698.68015) Full Text: DOI
Breazu-Tannen, Val; Gallier, Jean Polymorphic rewriting conserves algebraic strong normalization and confluence. (English) Zbl 0686.68022 Automata, languages and programming, Proc. 16th Int. Colloq., Stresa/Italy 1989, Lect. Notes Comput. Sci. 372, 137-150 (1989). MSC: 68W30 68Q65 68P05 03D03 03B40 08A99 PDFBibTeX XML
Balzer, W.; Reiter, M. Completeness for systems including real numbers. (English) Zbl 0683.03015 Stud. Log. 48, No. 1, 67-75 (1989). MSC: 03C35 03B10 03A05 PDFBibTeX XMLCite \textit{W. Balzer} and \textit{M. Reiter}, Stud. Log. 48, No. 1, 67--75 (1989; Zbl 0683.03015) Full Text: DOI
Walther, Christoph Many-sorted resolution. (English) Zbl 0679.68175 Künstliche Intelligenz, Proc. 5. Frühjahrsschule, Günne/FRG 1987, Inf.-Fachber. 202, 65-102 (1989). Reviewer: E.Melis MSC: 68T15 03B10 PDFBibTeX XML
Oikkonen, Juha How to obtain interpolation for \(L_{\kappa^+\kappa}\). (English) Zbl 0683.03019 Logic colloq. ’86, Proc. Colloq., Hull/U.K. 1986, Stud. Logic Found. Math. 124, 175-208 (1988). Reviewer: P.Štěpánek MSC: 03C75 03F05 PDFBibTeX XML
Dzierzgowski, Daniel Many-sorted elementary equivalence. (English) Zbl 0676.03004 Notre Dame J. Formal Logic 29, No. 4, 530-542 (1988). Reviewer: O.Štěpánková MSC: 03B10 03C99 03B15 PDFBibTeX XMLCite \textit{D. Dzierzgowski}, Notre Dame J. Formal Logic 29, No. 4, 530--542 (1988; Zbl 0676.03004) Full Text: DOI