Koussas, James Mathew Finite relation algebras. (English) Zbl 07691763 J. Symb. Log. 88, No. 2, 874-888 (2023). MSC: 03G15 03C13 PDFBibTeX XMLCite \textit{J. M. Koussas}, J. Symb. Log. 88, No. 2, 874--888 (2023; Zbl 07691763) Full Text: DOI arXiv
Millán, Joan Bertran-San Lingua characterica and calculus ratiocinator: the Leibnizian background of the Frege-Schröder polemic. (English) Zbl 07819578 Rev. Symb. Log. 14, No. 2, 411-446 (2021). MSC: 01A55 03-03 03A05 PDFBibTeX XMLCite \textit{J. B. S. Millán}, Rev. Symb. Log. 14, No. 2, 411--446 (2021; Zbl 07819578) Full Text: DOI
Waszek, David; Schlimm, Dirk Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus. (English) Zbl 1528.03005 Synthese 199, No. 5-6, 11913-11943 (2021). MSC: 03-03 01A55 PDFBibTeX XMLCite \textit{D. Waszek} and \textit{D. Schlimm}, Synthese 199, No. 5--6, 11913--11943 (2021; Zbl 1528.03005) Full Text: DOI
Haydon, Nathan; Pietarinen, Ahti-Veikko Residuation in existential graphs. (English) Zbl 1514.03053 Basu, Amrita (ed.) et al., Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12909, 229-237 (2021). MSC: 03G15 PDFBibTeX XMLCite \textit{N. Haydon} and \textit{A.-V. Pietarinen}, Lect. Notes Comput. Sci. 12909, 229--237 (2021; Zbl 1514.03053) Full Text: DOI
Kahl, Wolfram Calculational relation-algebraic proofs in the teaching tool CalcCheck. (English) Zbl 1462.68217 J. Log. Algebr. Methods Program. 117, Article ID 100581, 39 p. (2020). MSC: 68V15 97U70 PDFBibTeX XMLCite \textit{W. Kahl}, J. Log. Algebr. Methods Program. 117, Article ID 100581, 39 p. (2020; Zbl 1462.68217) Full Text: DOI
Lützen, Jesper How mathematical impossibility changed welfare economics: a history of Arrow’s impossibility theorem. (English) Zbl 1422.91028 Hist. Math. 46, 56-87 (2019). Reviewer: Antonín Slavík (Praha) MSC: 91-03 06-03 01A60 91B14 91B12 91B15 PDFBibTeX XMLCite \textit{J. Lützen}, Hist. Math. 46, 56--87 (2019; Zbl 1422.91028) Full Text: DOI
D’Alessandro, William Arithmetic, set theory, reduction and explanation. (English) Zbl 1452.03010 Synthese 195, No. 11, 5059-5089 (2018). MSC: 03A05 03F30 PDFBibTeX XMLCite \textit{W. D'Alessandro}, Synthese 195, No. 11, 5059--5089 (2018; Zbl 1452.03010) Full Text: DOI Link
Givant, Steven Relation algebras and groups. (English) Zbl 1522.03340 Algebra Univers. 79, No. 2, Paper No. 16, 38 p. (2018). MSC: 03G15 03E20 20A15 PDFBibTeX XMLCite \textit{S. Givant}, Algebra Univers. 79, No. 2, Paper No. 16, 38 p. (2018; Zbl 1522.03340) Full Text: DOI arXiv
Janicki, Ryszard Approximations of arbitrary relations by partial orders. (English) Zbl 1448.68418 Int. J. Approx. Reasoning 98, 177-195 (2018). MSC: 68T37 03E20 03E72 06A07 68Q17 PDFBibTeX XMLCite \textit{R. Janicki}, Int. J. Approx. Reasoning 98, 177--195 (2018; Zbl 1448.68418) Full Text: DOI
Urquhart, Alasdair Henry M. Sheffer and notational relativity. (English) Zbl 1263.01017 Hist. Philos. Log. 33, No. 1, 33-47 (2012). MSC: 01A60 03-03 PDFBibTeX XMLCite \textit{A. Urquhart}, Hist. Philos. Log. 33, No. 1, 33--47 (2012; Zbl 1263.01017) Full Text: DOI
Wirth, Claus-Peter Herbrand’s fundamental theorem in the eyes of Jean van Heijenoort. (English) Zbl 1267.03054 Log. Univers. 6, No. 3-4, 485-520 (2012). Reviewer: Reinhard Kahle (Lisboa) MSC: 03F07 01A60 03-03 PDFBibTeX XMLCite \textit{C.-P. Wirth}, Log. Univers. 6, No. 3--4, 485--520 (2012; Zbl 1267.03054) Full Text: DOI arXiv
Anellis, Irving H. Jean van Heijenoort’s contributions to proof theory and its history. (English) Zbl 1272.03001 Log. Univers. 6, No. 3-4, 411-458 (2012). Reviewer: M. Yasuhara (Princeton) MSC: 03-03 01A60 03C30 PDFBibTeX XMLCite \textit{I. H. Anellis}, Log. Univers. 6, No. 3--4, 411--458 (2012; Zbl 1272.03001) Full Text: DOI Euclid
Anellis, Irving H. Editor’s introduction to Jean van Heijenoort, “Historical development of modern logic”. (English) Zbl 1270.03007 Log. Univers. 6, No. 3-4, 301-326 (2012). Reviewer: Bernd Buldt (Fort Wayne) MSC: 03-03 01A55 01A60 01A70 01A85 03A05 03B10 03B20 PDFBibTeX XMLCite \textit{I. H. Anellis}, Log. Univers. 6, No. 3--4, 301--326 (2012; Zbl 1270.03007) Full Text: DOI
Nadin, Mihai The anticipatory profile. An attempt to describe anticipation as process. (English) Zbl 1252.92006 Int. J. Gen. Syst. 41, No. 1, 43-75 (2012). MSC: 92B20 92C42 92C15 92-08 PDFBibTeX XMLCite \textit{M. Nadin}, Int. J. Gen. Syst. 41, No. 1, 43--75 (2012; Zbl 1252.92006) Full Text: DOI Link
Schmidt, Renate A. The Ackermann approach for modal logic, correspondence theory and second-order reduction. (English) Zbl 1248.03039 J. Appl. Log. 10, No. 1, 52-74 (2012). MSC: 03B45 03B35 03C10 PDFBibTeX XMLCite \textit{R. A. Schmidt}, J. Appl. Log. 10, No. 1, 52--74 (2012; Zbl 1248.03039) Full Text: DOI
Ferreirós, José Hilbert, logicism, and mathematical existence. (English) Zbl 1202.03004 Synthese 170, No. 1, 33-70 (2009). Reviewer: Gregor Nickel (Siegen) MSC: 03-03 01A55 01A60 00A30 03A05 PDFBibTeX XMLCite \textit{J. Ferreirós}, Synthese 170, No. 1, 33--70 (2009; Zbl 1202.03004) Full Text: DOI Link
Doberkat, Ernst-Erich The converse of a stochastic relation. (English) Zbl 1101.68695 J. Log. Algebr. Program. 62, No. 1, 133-154 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{E.-E. Doberkat}, J. Log. Algebr. Program. 62, No. 1, 133--154 (2005; Zbl 1101.68695) Full Text: DOI
Winter, Michael Representation theory of Goguen categories. (English) Zbl 1036.03056 Fuzzy Sets Syst. 138, No. 1, 85-126 (2003). MSC: 03G30 03E72 PDFBibTeX XMLCite \textit{M. Winter}, Fuzzy Sets Syst. 138, No. 1, 85--126 (2003; Zbl 1036.03056) Full Text: DOI
Doberkat, Ernst-Erich; Omodeo, Eugenio G. Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view. (English) Zbl 1027.03028 de Swart, Harrie C. M. (ed.), Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2561, 50-65 (2002). MSC: 03B70 03G15 68P15 PDFBibTeX XMLCite \textit{E.-E. Doberkat} and \textit{E. G. Omodeo}, Lect. Notes Comput. Sci. 2561, 50--65 (2002; Zbl 1027.03028) Full Text: Link
Rahman, Shahid Hugh MacColl: Eine bibliographische Erschließung seiner Hauptwerke und Notizen zu ihrer Rezeptionsgeschichte. (German) Zbl 0907.01034 Hist. Philos. Log. 18, No. 3, 165-183 (1997). Reviewer: S.Gottwald (Leipzig) MSC: 01A55 03-03 PDFBibTeX XMLCite \textit{S. Rahman}, Hist. Philos. Log. 18, No. 3, 165--183 (1997; Zbl 0907.01034) Full Text: DOI
Andréka, Hajnal Complexity of equations valid in algebras of relations. I: Strong non-finitizability. (English) Zbl 0898.03023 Ann. Pure Appl. Logic 89, No. 2-3, 149-209 (1997). MSC: 03G15 PDFBibTeX XMLCite \textit{H. Andréka}, Ann. Pure Appl. Logic 89, No. 2--3, 149--209 (1997; Zbl 0898.03023) Full Text: DOI
Bredikhin, D. A. On quasi-identities of relation algebras with Diophantine operations. (English. Russian original) Zbl 0870.08007 Sib. Math. J. 38, No. 1, 23-33 (1997); translation from Sib. Mat. Zh. 38, No. 1, 29-41 (1997). Reviewer: A.N.Ryaskin (Novosibirsk) MSC: 08B05 08C15 PDFBibTeX XMLCite \textit{D. A. Bredikhin}, Sib. Math. J. 38, No. 1, 23--33 (1997; Zbl 0870.08007); translation from Sib. Mat. Zh. 38, No. 1, 29--41 (1997) Full Text: DOI
Janicki, R.; Koczkodaj, W. W. A weak order approach to group ranking. (English) Zbl 0862.90011 Comput. Math. Appl. 32, No. 2, 51-59 (1996). MSC: 91B08 PDFBibTeX XMLCite \textit{R. Janicki} and \textit{W. W. Koczkodaj}, Comput. Math. Appl. 32, No. 2, 51--59 (1996; Zbl 0862.90011) Full Text: DOI
Maddux, Roger D. A perspective on the theory of relation algebras. (English) Zbl 0803.03043 Algebra Univers. 31, No. 3, 456-465 (1994). Reviewer: Jānis Cīrulis (Riga) MSC: 03G15 PDFBibTeX XMLCite \textit{R. D. Maddux}, Algebra Univers. 31, No. 3, 456--465 (1994; Zbl 0803.03043) Full Text: DOI
Brink, Chris; Schmidt, Renate A. Subsumption computed algebraically. (English) Zbl 0825.68604 Comput. Math. Appl. 23, No. 2-5, 329-342 (1992). MSC: 68T30 68Q45 03B99 PDFBibTeX XMLCite \textit{C. Brink} and \textit{R. A. Schmidt}, Comput. Math. Appl. 23, No. 2--5, 329--342 (1992; Zbl 0825.68604) Full Text: DOI
Shapiro, Stewart Remarks on the development of computability. (English) Zbl 0529.03015 Hist. Philos. Logic 4, 203-220 (1983). MSC: 03D20 03-03 01A60 PDFBibTeX XMLCite \textit{S. Shapiro}, Hist. Philos. Log. 4, 203--220 (1983; Zbl 0529.03015) Full Text: DOI
Burgin, M. S. Products of operators of multidimensional structured model of systems. (English) Zbl 0494.93003 Math. Soc. Sci. 2, 335-343 (1982). MSC: 93A10 08A99 18B99 08B30 55U99 PDFBibTeX XMLCite \textit{M. S. Burgin}, Math. Soc. Sci. 2, 335--343 (1982; Zbl 0494.93003) Full Text: DOI
Graham, R. L.; Knuth, D. E.; Motzkin, T. S. Complements and transitive closures. (English) Zbl 0309.04002 Discrete Math. 2, 17-29 (1972). MSC: 03E20 06A05 06A06 PDFBibTeX XMLCite \textit{R. L. Graham} et al., Discrete Math. 2, 17--29 (1972; Zbl 0309.04002) Full Text: DOI
Schmidt, Jürgen Beiträge zur Filtertheorie. II. (German) Zbl 0053.02905 Math. Nachr. 10, 197-232 (1953). PDFBibTeX XMLCite \textit{J. Schmidt}, Math. Nachr. 10, 197--232 (1953; Zbl 0053.02905) Full Text: DOI