Peretyat’kin, M. G. Virtual algebraic isomorphisms between predicate calculi of finite rich signatures. (English. Russian original) Zbl 07541944 Algebra Logic 60, No. 6, 389-406 (2022); translation from Algebra Logika 60, No. 6, 587-611 (2021). MSC: 03-XX 20-XX PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Algebra Logic 60, No. 6, 389--406 (2022; Zbl 07541944); translation from Algebra Logika 60, No. 6, 587--611 (2021) Full Text: DOI OpenURL
Peretyat’kin, Mikhaĭl G. The property of being a model complete theory is preserved by Cartesian extensions. (English) Zbl 1477.03119 Sib. Èlektron. Mat. Izv. 17, 1540-1551 (2020). MSC: 03C10 03B10 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Èlektron. Mat. Izv. 17, 1540--1551 (2020; Zbl 1477.03119) Full Text: DOI OpenURL
Peretyat’kin, Mikhaĭl G. The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one. (English) Zbl 1437.03128 Sib. Èlektron. Mat. Izv. 17, 913-922 (2020). MSC: 03C57 03D45 03B10 03B25 03G05 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Èlektron. Mat. Izv. 17, 913--922 (2020; Zbl 1437.03128) Full Text: DOI OpenURL
Peretyat’kin, M. G. A technical prototype of the finite signature reduction procedure for the algebraic mode of definability. (English) Zbl 1488.03021 Mat. Zh. 19, No. 2, 78-104 (2019). MSC: 03C57 03C07 03B10 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Mat. Zh. 19, No. 2, 78--104 (2019; Zbl 1488.03021) OpenURL
Grigoriev, Oleg; Petrukhin, Yaroslav Two proofs of the algebraic completeness theorem for multilattice logic. (English) Zbl 1444.03089 J. Appl. Non-Class. Log. 29, No. 4, 358-381 (2019). MSC: 03B50 03B45 03G10 PDF BibTeX XML Cite \textit{O. Grigoriev} and \textit{Y. Petrukhin}, J. Appl. Non-Class. Log. 29, No. 4, 358--381 (2019; Zbl 1444.03089) Full Text: DOI OpenURL
Coniglio, Marcelo E.; Golzio, Ana Claudia Swap structures semantics for Ivlev-like modal logics. (English) Zbl 1418.03073 Soft Comput. 23, No. 7, 2243-2254 (2019). MSC: 03B45 03B50 PDF BibTeX XML Cite \textit{M. E. Coniglio} and \textit{A. C. Golzio}, Soft Comput. 23, No. 7, 2243--2254 (2019; Zbl 1418.03073) Full Text: DOI Link OpenURL
Peretyat’kin, M. G. Complexity estimates for the relation of coincidence of model-theoretic properties with an application to semantic classes. (English) Zbl 1488.03013 Mat. Zh. 18, No. 3, 67-79 (2018). MSC: 03C07 03C50 03B10 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Mat. Zh. 18, No. 3, 67--79 (2018; Zbl 1488.03013) OpenURL
Peretyat’kin, M. G. Fundamental significance of the finitary and infinitary semantic layers and characterization of the expressive power of first-order logic. (English) Zbl 1488.03012 Mat. Zh. 17, No. 3, 91-116 (2017). MSC: 03C07 03B10 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Mat. Zh. 17, No. 3, 91--116 (2017; Zbl 1488.03012) OpenURL
Boričić, Marija A note on entropy of logic. (English) Zbl 1474.03080 Yugosl. J. Oper. Res. 27, No. 3, 385-390 (2017). MSC: 03B50 94A17 37A35 PDF BibTeX XML Cite \textit{M. Boričić}, Yugosl. J. Oper. Res. 27, No. 3, 385--390 (2017; Zbl 1474.03080) Full Text: DOI OpenURL
Czelakowski, Janusz Forcing for first-order languages from the perspective of Rasiowa-Sikorski lemma. (English) Zbl 1420.03064 Fundam. Inform. 156, No. 3-4, 255-280 (2017). MSC: 03C30 03C15 03C25 PDF BibTeX XML Cite \textit{J. Czelakowski}, Fundam. Inform. 156, No. 3--4, 255--280 (2017; Zbl 1420.03064) Full Text: DOI OpenURL
Ciraulo, Francesco; Rinaldi, Davide; Schuster, Peter Lindenbaum’s lemma via open induction. (English) Zbl 1439.03032 Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 65-77 (2016). MSC: 03B10 03B20 PDF BibTeX XML Cite \textit{F. Ciraulo} et al., Prog. Comput. Sci. Appl. Log. 28, 65--77 (2016; Zbl 1439.03032) Full Text: DOI Link OpenURL
Peretyat’kin, M. G. First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories. (Russian, English) Zbl 1374.03023 Mat. Tr. 18, No. 2, 61-92 (2015); translation in Sib. Adv. Math. 26, No. 3, 196-214 (2016). MSC: 03C07 03C57 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Mat. Tr. 18, No. 2, 61--92 (2015; Zbl 1374.03023); translation in Sib. Adv. Math. 26, No. 3, 196--214 (2016) Full Text: DOI OpenURL
Surma, Stanisław J. (ed.) Studies in the history of mathematical logic. An exact reproduction of the text originally published by the Polish Academy of Sciences in 1973. Reprint. (English) Zbl 1355.03003 Classic Reprints. Socorro, NM: Advanced Reasoning Forum (ISBN 978-1-938421-26-6/pbk). 278 p. (2015). Reviewer: Jim Mackenzie (Sydney) MSC: 03-03 01A75 01A60 03-06 PDF BibTeX XML Cite \textit{S. J. Surma} (ed.), Studies in the history of mathematical logic. An exact reproduction of the text originally published by the Polish Academy of Sciences in 1973. Reprint. Socorro, NM: Advanced Reasoning Forum (2015; Zbl 1355.03003) OpenURL
Peretyat’kin, M. G. A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic. (English) Zbl 1386.03039 Lobachevskii J. Math. 36, No. 4, 407-418 (2015). MSC: 03C57 03C07 03D45 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Lobachevskii J. Math. 36, No. 4, 407--418 (2015; Zbl 1386.03039) Full Text: DOI OpenURL
Peretyat’kin, M. G. Canonical mini construction of finitely axiomatizable theories as a weak release of the universal construction. (English) Zbl 1335.03034 Mat. Zh. 14, No. 3, 48-89 (2014). MSC: 03C57 03D45 03G05 03B10 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Mat. Zh. 14, No. 3, 48--89 (2014; Zbl 1335.03034) OpenURL
Boričić, Marija On entropy of a logical system. (English) Zbl 1393.03007 J. Mult.-Val. Log. Soft Comput. 21, No. 5-6, 439-452 (2013). MSC: 03B50 03B05 94A17 PDF BibTeX XML Cite \textit{M. Boričić}, J. Mult.-Val. Log. Soft Comput. 21, No. 5--6, 439--452 (2013; Zbl 1393.03007) Full Text: Link OpenURL
Peretyat’kin, Mikhail G. The Tarski-Lindenbaum algebra of the class of all strongly constructivizable countable saturated models. (English) Zbl 1433.03086 Bonizzoni, Paola (ed.) et al., The nature of computation. Logic, algorithms, applications. 9th conference on computability in Europe, CiE 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7921, 342-352 (2013). MSC: 03C57 03D45 03C15 03C50 03G05 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Lect. Notes Comput. Sci. 7921, 342--352 (2013; Zbl 1433.03086) Full Text: DOI OpenURL
van Gool, Sam Constructing the Lindenbaum algebra for a logic step-by-step using duality. (English) Zbl 1298.03067 De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 55-66 (2012). MSC: 03B45 03G25 06E25 PDF BibTeX XML Cite \textit{S. van Gool}, IfColog Proc. 2, 55--66 (2012; Zbl 1298.03067) OpenURL
Hu, Mingdi; Lou, Zhigang Relationship of lengths and angles in the classical logic metric space. (Chinese. English summary) Zbl 1249.03001 J. Northwest Univ., Nat. Sci. Ed. 41, No. 2, 205-209 (2011). MSC: 03B05 54E35 68T37 PDF BibTeX XML Cite \textit{M. Hu} and \textit{Z. Lou}, J. Northwest Univ., Nat. Sci. Ed. 41, No. 2, 205--209 (2011; Zbl 1249.03001) OpenURL
Hu, Ming-Di Equilateral polygons in classical logic metric space. (English) Zbl 1253.03029 Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 127-134 (2010). MSC: 03B05 54E35 PDF BibTeX XML Cite \textit{M.-D. Hu}, Adv. Intell. Soft Comput. 82, 127--134 (2010; Zbl 1253.03029) Full Text: DOI OpenURL
Hu, Mingdi; Wang, Guojun Reflexive transforms on a classical logic metric space. (Chinese. English summary) Zbl 1212.03001 J. Shaanxi Norm. Univ., Nat. Sci. Ed. 37, No. 6, 1-4 (2009). MSC: 03B05 03B50 PDF BibTeX XML Cite \textit{M. Hu} and \textit{G. Wang}, J. Shaanxi Norm. Univ., Nat. Sci. Ed. 37, No. 6, 1--4 (2009; Zbl 1212.03001) OpenURL
Li, Haixia; Wu, Hongbo The * filter in Luk-Lindenbaum algebra. (Chinese. English summary) Zbl 1174.03311 J. Shandong Univ., Nat. Sci. 43, No. 1, 73-76, 80 (2008). MSC: 03B52 PDF BibTeX XML Cite \textit{H. Li} and \textit{H. Wu}, J. Shandong Univ., Nat. Sci. 43, No. 1, 73--76, 80 (2008; Zbl 1174.03311) OpenURL
Dzik, Wojciech Unification types in logic. (English) Zbl 1148.03003 Prace Naukowe Uniwersytetu Śląskiego w Katowicach 2554. Katowice: Wydawnictwo Uniwersytetu Śląskiego (ISBN 978-83-226-1717-5/pbk). 192 p. + loose errata (2007). Reviewer: Jānis Cīrulis (Riga) MSC: 03-02 03B35 03B45 03B55 03B60 03G25 03G99 PDF BibTeX XML Cite \textit{W. Dzik}, Unification types in logic. Katowice: Wydawnictwo Uniwersytetu Śląskiego (2007; Zbl 1148.03003) OpenURL
Alizadeh, Majid; Ardeshir, Mohammad On Löb algebras. (English) Zbl 1094.03057 Math. Log. Q. 52, No. 1, 95-105 (2006). Reviewer: Albert A. Mullin (Madison) MSC: 03G25 03B20 06D20 PDF BibTeX XML Cite \textit{M. Alizadeh} and \textit{M. Ardeshir}, Math. Log. Q. 52, No. 1, 95--105 (2006; Zbl 1094.03057) Full Text: DOI OpenURL
Han, Cheng; Xu, Wenyan; Wu, Hengyang Existence of non-totally ordered \(R_0\)-algebras and their construction. (Chinese. English summary) Zbl 1060.03506 J. Shaanxi Norm. Univ., Nat. Sci. Ed. 32, No. 1, 25-28 (2004). MSC: 03G10 03B52 PDF BibTeX XML Cite \textit{C. Han} et al., J. Shaanxi Norm. Univ., Nat. Sci. Ed. 32, No. 1, 25--28 (2004; Zbl 1060.03506) OpenURL
Alizadeh, Majid; Ardeshir, Mohammad On the linear Lindenbaum algebra of Basic Propositional Logic. (English) Zbl 1041.03053 Math. Log. Q. 50, No. 1, 65-70 (2004). Reviewer: Albert A. Mullin (Madison) MSC: 03G25 PDF BibTeX XML Cite \textit{M. Alizadeh} and \textit{M. Ardeshir}, Math. Log. Q. 50, No. 1, 65--70 (2004; Zbl 1041.03053) Full Text: DOI OpenURL
Wang, Guojun An algebraic proof of the completeness theorem of first-order logic. (Chinese. English summary) Zbl 1027.03504 J. Shaanxi Norm. Univ., Nat. Sci. Ed. 30, No. 4, 7-11 (2002). MSC: 03B10 03G10 PDF BibTeX XML Cite \textit{G. Wang}, J. Shaanxi Norm. Univ., Nat. Sci. Ed. 30, No. 4, 7--11 (2002; Zbl 1027.03504) OpenURL
Davey, B. A.; Priestley, H. A. Introduction to lattices and order. 2nd ed. (English) Zbl 1002.06001 Cambridge: Cambridge University Press. xii, 298 p. (2002). Reviewer: Vaclav Slavic (Praha) MSC: 06-01 PDF BibTeX XML Cite \textit{B. A. Davey} and \textit{H. A. Priestley}, Introduction to lattices and order. 2nd ed. Cambridge: Cambridge University Press (2002; Zbl 1002.06001) OpenURL
Massey, Gerald J. Atomic Boolean algebras and classical propositional logic. (English) Zbl 1028.03010 Anderson, C. Anthony (ed.) et al., Logic, meaning and computation. Essays in memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 305, 185-189 (2001). Reviewer: A.Tauts (Tallinn) MSC: 03B05 03G05 PDF BibTeX XML Cite \textit{G. J. Massey}, Synth. Libr. 305, 185--189 (2001; Zbl 1028.03010) OpenURL
Wu, Hongbo On the structure and the properties of \(L_0^*\)-Lindenbaum algebra. (Chinese. English summary) Zbl 0981.03510 J. Sichuan Univ., Nat. Sci. Ed. 38, No. 3, 323-327 (2001). MSC: 03B52 PDF BibTeX XML Cite \textit{H. Wu}, J. Sichuan Univ., Nat. Sci. Ed. 38, No. 3, 323--327 (2001; Zbl 0981.03510) OpenURL
Peretyat’kin, Mikhail Finitely axiomatizable theories and Lindenbaum algebras of semantic classes. (English) Zbl 0968.03039 Cholak, Peter A. (ed.) et al., Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13-17, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 257, 221-239 (2000). Reviewer: Andrei S.Morozov (Novosibirsk) MSC: 03C57 03D45 03D55 03G05 03B10 PDF BibTeX XML Cite \textit{M. Peretyat'kin}, Contemp. Math. 257, 221--239 (2000; Zbl 0968.03039) OpenURL
Bonsangue, Marcello M.; Kok, Joost N. Toward an infinitary logic of domains: Abramsky logic for transition systems. (English) Zbl 1004.03030 Inf. Comput. 155, No. 1-2, 170-201 (1999). MSC: 03B70 68Q55 68Q60 06B35 03G10 68Q85 PDF BibTeX XML Cite \textit{M. M. Bonsangue} and \textit{J. N. Kok}, Inf. Comput. 155, No. 1--2, 170--201 (1999; Zbl 1004.03030) Full Text: DOI Link OpenURL
Pigozzi, Don Abstract algebraic logic. (English) Zbl 0927.03085 Haeberer, Armando Martín (ed.), Algebraic methodology and software technology. 7th international conference, AMAST ’98, Amazonia, Brazil, January 4–8, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1548, 8-16 (1999). Reviewer: D.Busneag (Craiova) MSC: 03G25 03-02 PDF BibTeX XML Cite \textit{D. Pigozzi}, Lect. Notes Comput. Sci. 1548, 8--16 (1999; Zbl 0927.03085) OpenURL
Wojtylak, Piotr 2-SAT is not equivalent to Boolean Prime Ideal Theorem. (English) Zbl 0923.03016 Orłowska, Ewa (ed.), Logic at work. Essays dedicated to the memory of Helena Rasiowa. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 24, 580-583 (1999). MSC: 03B05 03E30 03D15 PDF BibTeX XML Cite \textit{P. Wojtylak}, Stud. Fuzziness Soft Comput. 24, 580--583 (1999; Zbl 0923.03016) OpenURL
Wang, Guojun Implicational lattices and generalization of Stone’s representation theorem. (English) Zbl 0983.06010 Chin. Sci. Bull. 43, No. 12, 997-1000 (1998). MSC: 06D05 03G10 03B52 54A40 PDF BibTeX XML Cite \textit{G. Wang}, Chin. Sci. Bull. 43, No. 12, 997--1000 (1998; Zbl 0983.06010) Full Text: DOI OpenURL
He, Yingyu; Wang, Guojun The structure of \({\mathcal L}^*\)-Lindenbaum algebras and a simplified system of axioms for \({\mathcal L}^*\). (Chinese. English summary) Zbl 0930.03096 J. Eng. Math., Xi’an 15, No. 1, 1-8 (1998). MSC: 03G10 03B52 PDF BibTeX XML Cite \textit{Y. He} and \textit{G. Wang}, J. Eng. Math., Xi'an 15, No. 1, 1--8 (1998; Zbl 0930.03096) OpenURL
Kondo, Michiro Characterization theorem of 4-valued De Morgan logic. (English) Zbl 0929.03032 Mem. Fac. Sci. Eng., Shimane Univ., Ser. B, Math. Sci. 31, 73-80 (1998). MSC: 03B50 06D30 03G25 PDF BibTeX XML Cite \textit{M. Kondo}, Mem. Fac. Sci. Eng., Shimane Univ., Ser. B, Math. Sci. 31, 73--80 (1998; Zbl 0929.03032) OpenURL
Peretyat’kin, M. G. Constructive models of finitely axiomatizable theories. (English) Zbl 0952.03035 Ershov, Yu. L. (ed.) et al., Handbook of recursive mathematics. Vol. 1: Recursive model theory. Amsterdam: Elsevier. Stud. Logic Found. Math. 138, 347-379 (1998). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C57 03D45 03C60 06E99 03C45 03-02 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Stud. Logic Found. Math. 138, 347--379 (1998; Zbl 0952.03035) OpenURL
Mączyński, Maciej Boolean and orthomodular logics in mathematics and physics. (English) Zbl 0898.03021 Contributions to general algebra 10. Selection of lectures given at the conference on general algebra, Klagenfurt, Austria, May 29–June 1, 1997. Klagenfurt: Verlag Johannes Heyn. 31-39 (1998). Reviewer: H.Länger (Wien) MSC: 03G12 PDF BibTeX XML Cite \textit{M. Mączyński}, Contrib. Gen. Algebra 10, 31--39 (1998; Zbl 0898.03021) OpenURL
Wasilewska, Anita Topological rough algebras. (English) Zbl 0860.03042 Lin, T. Y. (ed.) et al., Rough sets and data mining: analysis of imprecise data. Selected papers presented at a workshop of the 1995 ACM computer science conference, CSC ’95. Boston, MA: Kluwer Academic Publishers. 411-425 (1997). MSC: 03G25 68T27 PDF BibTeX XML Cite \textit{A. Wasilewska}, in: Rough sets and data mining: analysis of imprecise data. Selected papers presented at a workshop of the 1995 ACM computer science conference, CSC '95. Boston, MA: Kluwer Academic Publishers. 411--425 (1997; Zbl 0860.03042) OpenURL
Peretyat’kin, M. G. Finitely axiomatizable theories. (Konechno aksiomatiziruemye teorii.) (Russian) Zbl 0893.03011 Sibirskaya Shkola Algebry i Logiki. Novosibirsk: Nauchnaya Kniga. 319 p. (1997). MSC: 03Cxx 03-02 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Konechno aksiomatiziruemye teorii (Russian). Novosibirsk: Nauchnaya Kniga (1997; Zbl 0893.03011) OpenURL
Bonsangue, Marcello M.; Kok, Joost N. Infinitary domain logic for finitary transition systems. (English) Zbl 0885.03030 Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 213-232 (1997). MSC: 03B70 68Q55 03G10 PDF BibTeX XML Cite \textit{M. M. Bonsangue} and \textit{J. N. Kok}, Lect. Notes Comput. Sci. 1281, 213--232 (1997; Zbl 0885.03030) OpenURL
Peretyat’kin, Mikhail G. Finitely axiomatizable theories. Transl. from the Russian. (English) Zbl 0884.03031 Siberian School of Algebra and Logic. New York, NY: Consultants Bureau. xiv, 294 p. (1997). Reviewer: J.M.Plotkin (East Lansing) MSC: 03Cxx 03-02 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Finitely axiomatizable theories. Transl. from the Russian. New York, NY: Consultants Bureau (1997; Zbl 0884.03031) OpenURL
Selivanov, Victor Fine hierarchy and definability in the Lindenbaum algebra. (English) Zbl 0856.03038 Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 425-451 (1996). MSC: 03D55 03G05 PDF BibTeX XML Cite \textit{V. Selivanov}, in: Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20--29, 1993. Oxford: Clarendon Press. 425--451 (1996; Zbl 0856.03038) OpenURL
Beklemishev, Lev Remarks on Magari algebras of \(\text{PA}\) and \(\text{I}\Delta_ 0 + \text{EXP}\). (English) Zbl 0855.03038 Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 317-325 (1996). MSC: 03G25 03F30 06E25 03B45 PDF BibTeX XML Cite \textit{L. Beklemishev}, Lect. Notes Pure Appl. Math. 180, 317--325 (1996; Zbl 0855.03038) OpenURL
Cussens, James Deduction, induction and probabilistic support. (English) Zbl 0929.03028 Synthese 108, No. 1, 1-10 (1996). MSC: 03B48 03A05 PDF BibTeX XML Cite \textit{J. Cussens}, Synthese 108, No. 1, 1--10 (1996; Zbl 0929.03028) Full Text: DOI OpenURL
Hendriks, Alex Computations in propositional logic. (English) Zbl 0870.03011 Amsterdam: Univ. Amsterdam, vii, 188 p. (1996). MSC: 03C13 03B35 03B20 03B45 PDF BibTeX XML Cite \textit{A. Hendriks}, Computations in propositional logic. Amsterdam: Univ. Amsterdam (1996; Zbl 0870.03011) OpenURL
Turunen, Esko Algebraic analysis of \(\text{LPC} +\text{Ch}\) calculus. (English) Zbl 0857.03042 Kybernetika 31, No. 1, 99-106 (1995). MSC: 03G25 68T27 PDF BibTeX XML Cite \textit{E. Turunen}, Kybernetika 31, No. 1, 99--106 (1995; Zbl 0857.03042) Full Text: EuDML Link OpenURL
Kondo, Michiro Approximation logic and strong Bunge algebra. (English) Zbl 0843.03015 Notre Dame J. Formal Logic 36, No. 4, 595-605 (1995). MSC: 03B60 03G25 PDF BibTeX XML Cite \textit{M. Kondo}, Notre Dame J. Formal Logic 36, No. 4, 595--605 (1995; Zbl 0843.03015) Full Text: DOI OpenURL
Pal’chunov, D. E. The Lindenbaum-Tarski algebra for Boolean algebras with distinguished ideals. (English. Russian original) Zbl 0842.03031 Algebra Logic 34, No. 1, 50-65 (1995); translation from Algebra Logika 34, No. 1, 88-116 (1995). MSC: 03C65 06E99 03G05 PDF BibTeX XML Cite \textit{D. E. Pal'chunov}, Algebra Logic 34, No. 1, 50--65 (1995; Zbl 0842.03031); translation from Algebra Logika 34, No. 1, 88--116 (1995) Full Text: DOI OpenURL
Kondo, Michiro Completeness theorem of Kleene logic. (English) Zbl 0839.03054 Mem. Fac. Sci., Shimane Univ. 29, 77-87 (1995). MSC: 03G25 PDF BibTeX XML Cite \textit{M. Kondo}, Mem. Fac. Sci., Shimane Univ. 29, 77--87 (1995; Zbl 0839.03054) OpenURL
Aragón, Regina Some Boolean algebras with finitely many distinguished ideals. I. (English) Zbl 0835.03005 Math. Log. Q. 41, No. 4, 485-504 (1995). MSC: 03C65 06E99 03C35 03G05 PDF BibTeX XML Cite \textit{R. Aragón}, Math. Log. Q. 41, No. 4, 485--504 (1995; Zbl 0835.03005) Full Text: DOI OpenURL
Kondo, Michiro Modal logic and implicational fuzzy algebra. (English) Zbl 0828.03034 Math. Jap. 42, No. 1, 105-112 (1995). MSC: 03G25 03B45 PDF BibTeX XML Cite \textit{M. Kondo}, Math. Japon. 42, No. 1, 105--112 (1995; Zbl 0828.03034) OpenURL
Panti, Giovanni A geometric proof of the completeness of the Łukasiewicz calculus. (English) Zbl 0837.03018 J. Symb. Log. 60, No. 2, 563-578 (1995). Reviewer: I.D’Ottaviano (Campinas) MSC: 03B50 PDF BibTeX XML Cite \textit{G. Panti}, J. Symb. Log. 60, No. 2, 563--578 (1995; Zbl 0837.03018) Full Text: DOI OpenURL
D’Agostino, Giovanna Topological structure of diagonalizable algebras and corresponding logical properties of theories. (English) Zbl 0830.03035 Notre Dame J. Formal Logic 35, No. 4, 563-572 (1994). MSC: 03G25 06E25 PDF BibTeX XML Cite \textit{G. D'Agostino}, Notre Dame J. Formal Logic 35, No. 4, 563--572 (1994; Zbl 0830.03035) Full Text: DOI OpenURL
Pal’chunov, D. E. Lindenbaum-Tarski algebra for the class of Boolean algebras with one distinguished ideal. (English. Russian original) Zbl 0816.03019 Algebra Logic 33, No. 2, 102-119 (1994); translation from Algebra Logika 33, No. 2, 179-210 (1994). MSC: 03C65 06E99 03G05 PDF BibTeX XML Cite \textit{D. E. Pal'chunov}, Algebra Logic 33, No. 2, 179--210 (1994; Zbl 0816.03019); translation from Algebra Logika 33, No. 2, 179--210 (1994) Full Text: DOI OpenURL
Simi, Giulia Bidiagonalizable algebras. (English) Zbl 0812.03039 PU.M.A., Pure Math. Appl. 5, No. 1, 21-45 (1994). MSC: 03G25 06E25 08B99 PDF BibTeX XML Cite \textit{G. Simi}, PU.M.A., Pure Math. Appl. 5, No. 1, 21--45 (1994; Zbl 0812.03039) OpenURL
Crvenković, Siniša; Madarász, Rozália Sz. On dynamic algebras. (English) Zbl 0823.68046 Theor. Comput. Sci. 134, No. 1, 79-86 (1994). MSC: 68W30 68Q45 PDF BibTeX XML Cite \textit{S. Crvenković} and \textit{R. Sz. Madarász}, Theor. Comput. Sci. 134, No. 1, 79--86 (1994; Zbl 0823.68046) Full Text: DOI OpenURL
Malhas, Othman Qasim Abacus logic: The lattice of quantum propositions as the poset of a theory. (English) Zbl 0806.03041 J. Symb. Log. 59, No. 2, 501-515 (1994). Reviewer: J.Tkadlec (Praha) MSC: 03G12 81P10 PDF BibTeX XML Cite \textit{O. Q. Malhas}, J. Symb. Log. 59, No. 2, 501--515 (1994; Zbl 0806.03041) Full Text: DOI OpenURL
Peretyat’kin, M. G. Expressive power of finitely axiomatizable theories. III: The main construction. (English) Zbl 0848.03010 Sib. Adv. Math. 3, No. 4, 131-201 (1993). MSC: 03C07 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Adv. Math. 3, No. 4, 131--201 (1993; Zbl 0848.03010) OpenURL
Peretyat’kin, M. G. Expressive power of finitely axiomatizable theories. II: Rigid quasi-succession. (English) Zbl 0848.03009 Sib. Adv. Math. 3, No. 3, 123-145 (1993). MSC: 03C07 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Adv. Math. 3, No. 3, 123--145 (1993; Zbl 0848.03009) OpenURL
Peretyat’kin, M. G. Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs. (English) Zbl 0848.03008 Sib. Adv. Math. 3, No. 2, 153-197 (1993). MSC: 03C07 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Adv. Math. 3, No. 2, 153--197 (1993; Zbl 0848.03008) OpenURL
Shavrukov, V. Yu. A note on the diagonalizable algebras of PA and ZF. (English) Zbl 0780.03027 Ann. Pure Appl. Logic 61, No. 1-2, 161-173 (1993). Reviewer: V.Yu.Shavrukov MSC: 03F30 03G25 03F40 PDF BibTeX XML Cite \textit{V. Yu. Shavrukov}, Ann. Pure Appl. Logic 61, No. 1--2, 161--173 (1993; Zbl 0780.03027) Full Text: DOI OpenURL
Rauszer, Cecylia M. Algebraic considerations of autoepistemic logic. (English) Zbl 0846.03012 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 3, 175-186 (1992). MSC: 03B60 03B45 68T27 68T30 03G05 PDF BibTeX XML Cite \textit{C. M. Rauszer}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 3, 175--186 (1992; Zbl 0846.03012) OpenURL
Figallo, Aldo; Ziliani, Alicia On the propositional system \(\mathcal A\) of Sobociński. (English) Zbl 0768.03007 Port. Math. 49, No. 1, 11-22 (1992). MSC: 03B50 03G20 PDF BibTeX XML Cite \textit{A. Figallo} and \textit{A. Ziliani}, Port. Math. 49, No. 1, 11--22 (1992; Zbl 0768.03007) Full Text: EuDML OpenURL
Shavrukov, V. Yu. The Lindenbaum fixed point algebra is undecidable. (English) Zbl 0733.03032 Stud. Log. 50, No. 1, 143-147 (1991). Reviewer: R.Downey (Wellington) MSC: 03D35 03F30 03G05 PDF BibTeX XML Cite \textit{V. Yu. Shavrukov}, Stud. Log. 50, No. 1, 143--147 (1991; Zbl 0733.03032) Full Text: DOI OpenURL
Hansoul, G.; Sart, F. The canonical Kripke model for the modal system S5 over a finite number of variables. (English) Zbl 0733.03011 Bull. Soc. R. Sci. Liège 60, No. 1, 51-55 (1991). MSC: 03B45 03G05 03G25 PDF BibTeX XML Cite \textit{G. Hansoul} and \textit{F. Sart}, Bull. Soc. R. Sci. Liège 60, No. 1, 51--55 (1991; Zbl 0733.03011) OpenURL
Rauszer, Cecylia M. Algebraic considerations of autoepistemic logic. (English) Zbl 0747.03010 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 2, 168-179 (1991). MSC: 03B60 03B45 68T27 03G05 68T30 PDF BibTeX XML Cite \textit{C. M. Rauszer}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 2, 168--179 (1991; Zbl 0747.03010) OpenURL
Davey, B. A.; Priestley, H. A. Introduction to lattices and order. (English) Zbl 0701.06001 Cambridge etc.: Cambridge University Press. viii, 248 p. £20.00/hbk; £9.95/pbk (1990). Reviewer: J.Niederle MSC: 06-01 PDF BibTeX XML Cite \textit{B. A. Davey} and \textit{H. A. Priestley}, Introduction to lattices and order. Cambridge etc.: Cambridge University Press (1990; Zbl 0701.06001) OpenURL
Monk, J. Donald (ed.); Bonnet, Robert (ed.) [Koppelberg, Sabine; Jech, T.; Balcar, B.; Simon, P.; van Douwen, Eric K.; Rubin, M.; Štěpánek, P.; Bekkali, M.; Roitman, J.; Pierce, R. S.; Fremlin, D. H.; Weese, M.; Remmel, J. B.; Myers, D.] Handbook of Boolean algebras. Volumes 1-3. Ed. with the cooperation of Robert Bonnet. (English) Zbl 0671.06001 Amsterdam etc.: North-Holland. xix, 1367 p./set. $ 309.75/set; Dfl. 635.00/set (1989). Reviewer: J.Roitman MSC: 06-02 03-02 06Exx 03G05 03E99 06-01 03-01 PDF BibTeX XML Cite \textit{J. D. Monk} (ed.) and \textit{R. Bonnet} (ed.), Handbook of Boolean algebras. Volumes 1-3. Ed. with the cooperation of Robert Bonnet. Amsterdam etc.: North-Holland (1989; Zbl 0671.06001) OpenURL
Kron, A. Lattices definable in terms of implication and negation. (Russian) Zbl 0732.06003 Syntactical and semantical investigations of non-extensional logics, Moskva, 206-220 (1989). Reviewer: P.Pták (Praha) MSC: 06D99 03G10 03B53 PDF BibTeX XML OpenURL
Tembrowski, Bronisław B-varieties with normal free algebras. (English) Zbl 0709.06008 Stud. Log. 48, No. 4, 555-564 (1989). Reviewer: J.Schmid MSC: 06E25 03G05 08B20 06B20 PDF BibTeX XML Cite \textit{B. Tembrowski}, Stud. Log. 48, No. 4, 555--564 (1989; Zbl 0709.06008) Full Text: DOI OpenURL
Mundici, Daniele The \(C^*\)-algebras of three-valued logic. (English) Zbl 0694.03017 Logic colloq. ’88, Proc. Colloq., Padova/Italy 1988, Stud. Logic Found. Math. 127, 61-77 (1989). Reviewer: D.Mundici MSC: 03B50 46L80 46L60 06F20 03G12 PDF BibTeX XML OpenURL
Mortensen, C. Paraconsistency and \(C_ 1\). (English) Zbl 0692.03015 Paraconsistent logic, Essays on the inconsistent, 289-305 (1989). Reviewer: G.Priest MSC: 03B60 PDF BibTeX XML OpenURL
Freyd, Peter; Friedman, Harvey; Scedrov, Andre Lindenbaum algebras of intuitionistic theories and free categories. (English) Zbl 0624.03045 Ann. Pure Appl. Logic 35, 167-172 (1987). Reviewer: G.Mints MSC: 03F55 03G30 PDF BibTeX XML Cite \textit{P. Freyd} et al., Ann. Pure Appl. Logic 35, 167--172 (1987; Zbl 0624.03045) Full Text: DOI OpenURL
Nurtazin, A. T. Base totalities and two questions in the theory of Boolean algebras. (Russian) Zbl 0615.03015 Izv. Akad. Nauk Kaz. SSR, Ser. Fiz.-Mat. 1986, No. 3(130), 33-36 (1986). Reviewer: A.N.Ryaskin MSC: 03C50 03C57 PDF BibTeX XML Cite \textit{A. T. Nurtazin}, Izv. Akad. Nauk Kaz. SSR, Ser. Fiz.-Mat. 1986, No. 3(130), 33--36 (1986; Zbl 0615.03015) OpenURL
Gudovshchikov, V. L. The completeness theorem for propositional calculi characterized by non- distributive lattices. (Russian) Zbl 0616.03036 Complexity problems of mathematical logic, Collect. sci. Works, Kalinin 1985, 33-36 (1985). Reviewer: R.Wallace Garden MSC: 03G10 03B20 PDF BibTeX XML OpenURL
Gibbins, Peter A user-friendly quantum logic. (English) Zbl 0589.03039 Logique Anal., Nouv. Sér. 28, 353-362 (1985). Reviewer: W.Guz MSC: 03G12 81P10 03B05 PDF BibTeX XML Cite \textit{P. Gibbins}, Log. Anal., Nouv. Sér. 28, 353--362 (1985; Zbl 0589.03039) OpenURL
Carnielli, Walter Alexandre; de Alcantara, Luiz Paulo Paraconsistent algebras. (English) Zbl 0581.03013 Stud. Log. 43, 79-88 (1984). Reviewer: D.Makinson MSC: 03B45 PDF BibTeX XML Cite \textit{W. A. Carnielli} and \textit{L. P. de Alcantara}, Stud. Log. 43, 79--88 (1984; Zbl 0581.03013) Full Text: DOI OpenURL
Montagna, Franco A completeness result for fixed-point algebras. (English) Zbl 0564.03044 Z. Math. Logik Grundlagen Math. 30, 525-532 (1984). MSC: 03F30 03G05 PDF BibTeX XML Cite \textit{F. Montagna}, Z. Math. Logik Grundlagen Math. 30, 525--532 (1984; Zbl 0564.03044) Full Text: DOI OpenURL
Peretyat’kin, M. G. Turing machine computations in finitely axiomatizable theories. (English. Russian original) Zbl 0567.03014 Algebra Logic 21, 272-295 (1983); translation from Algebra Logika 21, No. 4, 410-441 (1982). MSC: 03D10 03C57 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Algebra Logic 21, 272--295 (1983; Zbl 0567.03014); translation from Algebra Logika 21, No. 4, 410--441 (1982) Full Text: DOI EuDML OpenURL
Liddell, G. F. A logic for propositions with indefinite truth values. (English) Zbl 0564.03020 Stud. Log. 41, 197-226 (1982). Reviewer: A.S.Karpenko MSC: 03B50 03G10 PDF BibTeX XML Cite \textit{G. F. Liddell}, Stud. Log. 41, 197--226 (1982; Zbl 0564.03020) Full Text: DOI OpenURL
Smoryński, C. Fixed point algebras. (English) Zbl 0544.03032 Bull. Am. Math. Soc., New Ser. 6, 317-356 (1982). MSC: 03G05 03F30 PDF BibTeX XML Cite \textit{C. Smoryński}, Bull. Am. Math. Soc., New Ser. 6, 317--356 (1982; Zbl 0544.03032) Full Text: DOI OpenURL
Fourman, M. P.; Grayson, R. J. Formal spaces. (English) Zbl 0537.03040 The L. E. J. Brouwer Centen. Symp., Proc. Conf., Noordwijkerhout/Holl. 1981, Stud. Logic Found. Math. 110, 107-122 (1982). Reviewer: P.T.Johnstone MSC: 03F55 03C90 03G30 54A05 PDF BibTeX XML OpenURL
Font, Josep M. An implication connective for classical and intuitionistic modal logics. (Catalan) Zbl 0523.03050 Mathematical logic, Proc. 1st Catalonian Congr., Barcelona 1982, 83-84 (1982). MSC: 03G10 03B45 PDF BibTeX XML OpenURL
Rybakov, V. V. Admissible rules for pretable modal logics. (English) Zbl 0496.03008 Algebra Logic 20, 291-307 (1982). MSC: 03B45 03B25 03B55 PDF BibTeX XML Cite \textit{V. V. Rybakov}, Algebra Logic 20, 291--307 (1982; Zbl 0496.03008) Full Text: DOI OpenURL
Boolos, George Extremely undecidable sentences. (English) Zbl 0485.03003 J. Symb. Log. 47, 191-196 (1982). MSC: 03B45 03F30 PDF BibTeX XML Cite \textit{G. Boolos}, J. Symb. Log. 47, 191--196 (1982; Zbl 0485.03003) Full Text: DOI OpenURL
Peretyat’kin, M. G. Theories with three countable models. (English. Russian original) Zbl 0481.03015 Algebra Logic 19, 139-147 (1981); translation from Algebra Logika 19, 224-235 (1980). MSC: 03C15 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Algebra Logic 19, 139--147 (1981; Zbl 0481.03015); translation from Algebra Logika 19, 224--235 (1980) Full Text: DOI OpenURL
Hardegree, Gary M. An axiom system for orthomodular quantum logic. (English) Zbl 0476.03059 Stud. Log. 40, 1-12 (1981). MSC: 03G12 03C35 81P10 03B60 PDF BibTeX XML Cite \textit{G. M. Hardegree}, Stud. Log. 40, 1--12 (1981; Zbl 0476.03059) Full Text: DOI OpenURL
Myers, Dale The Boolean algebra of the theory of linear orders. (English) Zbl 0437.03032 Isr. J. Math. 35, 234-256 (1980). MSC: 03G05 03C60 PDF BibTeX XML Cite \textit{D. Myers}, Isr. J. Math. 35, 234--256 (1980; Zbl 0437.03032) Full Text: DOI OpenURL
Mead, Jerud Recursive prime models for Boolean algebras. (English) Zbl 0445.03016 Colloq. Math. 41, 25-33 (1979). MSC: 03C65 06E99 PDF BibTeX XML Cite \textit{J. Mead}, Colloq. Math. 41, 25--33 (1979; Zbl 0445.03016) Full Text: DOI OpenURL
Cherlin, G. L. Lindenbaum algebras and model companions. (English) Zbl 0428.03022 Fundam. Math. 104, 213-219 (1979). MSC: 03C35 PDF BibTeX XML Cite \textit{G. L. Cherlin}, Fundam. Math. 104, 213--219 (1979; Zbl 0428.03022) Full Text: DOI EuDML OpenURL
Ursini, Aldo Intuitionistic diagonalizable algebras. (English) Zbl 0423.03029 Algebra Univers. 9, 229-237 (1979). MSC: 03C05 03G25 08A05 PDF BibTeX XML Cite \textit{A. Ursini}, Algebra Univers. 9, 229--237 (1979; Zbl 0423.03029) Full Text: DOI OpenURL
Montagna, Franco On the diagonalizable algebra of Peano arithmetic. (English) Zbl 0419.08010 Boll. Unione Mat. Ital., V. Ser., B 16, 795-812 (1979). MSC: 08B20 08C10 03C05 03C60 06E10 PDF BibTeX XML Cite \textit{F. Montagna}, Boll. Unione Mat. Ital., V. Ser., B 16, 795--812 (1979; Zbl 0419.08010) OpenURL
Czelakowski, Janusz A purely algebraic proof of the omitting types theorem. (English) Zbl 0418.03023 Bull. Sect. Logic, Pol. Acad. Sci. 8, 7-9 (1979). MSC: 03C15 03C99 03G99 PDF BibTeX XML Cite \textit{J. Czelakowski}, Bull. Sect. Logic, Pol. Acad. Sci. 8, 7--9 (1979; Zbl 0418.03023) OpenURL
Czelakowski, Janusz A remark on countable algebraic models. (English) Zbl 0418.03022 Bull. Sect. Logic, Pol. Acad. Sci. 8, 2-6 (1979). MSC: 03C15 03C20 03G99 PDF BibTeX XML Cite \textit{J. Czelakowski}, Bull. Sect. Logic, Pol. Acad. Sci. 8, 2--6 (1979; Zbl 0418.03022) OpenURL
Trippel, Johann Rudolf Die Algebra der Sätze der monadischen Theorie schwach zweiter Stufe der linearen Ordnung ist atomar. (German) Zbl 0442.03026 Diss. ETH No. 6208. Zürich: Eidgenössische Technische Hochschule, Mathematische Fakultät. I, 72 S. (1978). MSC: 03C35 06A05 PDF BibTeX XML OpenURL
de Bruijn, N. G. The use of partially ordered sets for the study of non-classical propositional logics. (English) Zbl 0413.03038 Problèmes combinatoires et théorie des graphes, Orsay 1976, Colloq. int. CNRS No. 260, 67-70 (1978). MSC: 03G25 03B60 06A06 PDF BibTeX XML OpenURL
Weispfenning, Volker A note on \(\aleph_0\)-categorical model-companions. (English) Zbl 0408.03024 Arch. Math. Logik Grundlagenforsch. 19, 23-29 (1978). MSC: 03C35 03G05 PDF BibTeX XML Cite \textit{V. Weispfenning}, Arch. Math. Logik Grundlagenforsch. 19, 23--29 (1978; Zbl 0408.03024) Full Text: DOI EuDML OpenURL
Sonenberg, E. A. On the elementary theory of inductive order. (English) Zbl 0395.03023 Arch. Math. Logik Grundlagenforsch. 19, 13-22 (1978). MSC: 03C10 03C65 03B25 03G05 PDF BibTeX XML Cite \textit{E. A. Sonenberg}, Arch. Math. Logik Grundlagenforsch. 19, 13--22 (1978; Zbl 0395.03023) Full Text: DOI EuDML OpenURL