Mikhajlova, Anna; von Wright, Joakim Proving isomorphism of first-order logic proof systems in HOL. (English) Zbl 0927.03023 Grundy, Jim (ed.) et al., Theorem proving in higher order logics. 11th international conference, TPHOLs ’98. Canberra, Australia, September 27 - October 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1479, 295-314 (1998). MSC: 03B35 03B10 03B15 PDF BibTeX XML Cite \textit{A. Mikhajlova} and \textit{J. von Wright}, Lect. Notes Comput. Sci. 1479, 295--314 (1998; Zbl 0927.03023) OpenURL
Wolter, Frank All finitely axiomatizable subframe logics containing the provability logic CSM\(_0\) are decidable. (English) Zbl 0910.03015 Arch. Math. Logic 37, No. 3, 167-182 (1998). Reviewer: G.Mints (Stanford) MSC: 03B45 03B25 PDF BibTeX XML Cite \textit{F. Wolter}, Arch. Math. Logic 37, No. 3, 167--182 (1998; Zbl 0910.03015) Full Text: DOI OpenURL
Hájek, Petr Fuzzy logic and arithmetical hierarchy. II. (English) Zbl 0869.03015 Stud. Log. 58, No. 1, 129-141 (1997). Reviewer: S.Gottwald (Leipzig) MSC: 03B52 03B50 03B25 PDF BibTeX XML Cite \textit{P. Hájek}, Stud. Log. 58, No. 1, 129--141 (1997; Zbl 0869.03015) Full Text: DOI OpenURL
Sidon, Tatiana Provability logic with operations on proofs. (English) Zbl 0888.03009 Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 342-353 (1997). MSC: 03B45 03F30 PDF BibTeX XML Cite \textit{T. Sidon}, Lect. Notes Comput. Sci. 1234, 342--353 (1997; Zbl 0888.03009) OpenURL
Hájek, Petr Fuzzy logic and arithmetical hierarchy. (English) Zbl 0857.03011 Fuzzy Sets Syst. 73, No. 3, 359-363 (1995). Reviewer: S.Gottwald (Leipzig) MSC: 03B52 03B50 03F20 03B25 PDF BibTeX XML Cite \textit{P. Hájek}, Fuzzy Sets Syst. 73, No. 3, 359--363 (1995; Zbl 0857.03011) Full Text: DOI OpenURL
Attardi, Giuseppe; Simi, Maria A formalization of viewpoints. (English) Zbl 0821.03016 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2-4, 149-173 (1995). MSC: 03B60 68T27 68T30 PDF BibTeX XML Cite \textit{G. Attardi} and \textit{M. Simi}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2--4, 149--173 (1995; Zbl 0821.03016) OpenURL
Bonatti, Piero A. A three-valued formalization of provability. (English) Zbl 0820.03035 J. Log. Comput. 5, No. 2, 173-201 (1995). Reviewer: A.Nabebin (Moskva) MSC: 03F03 03B60 68N17 03B70 PDF BibTeX XML Cite \textit{P. A. Bonatti}, J. Log. Comput. 5, No. 2, 173--201 (1995; Zbl 0820.03035) Full Text: DOI OpenURL
Beklemishev, Lev D. On bimodal logics of provability. (English) Zbl 0814.03010 Ann. Pure Appl. Logic 68, No. 2, 115-159 (1994). Reviewer: Qian Lei (Nanjing) MSC: 03B45 03F30 PDF BibTeX XML Cite \textit{L. D. Beklemishev}, Ann. Pure Appl. Logic 68, No. 2, 115--159 (1994; Zbl 0814.03010) Full Text: DOI OpenURL
Dzhaparidze, Giorgie The logic of arithmetical hierarchy. (English) Zbl 0804.03045 Ann. Pure Appl. Logic 66, No. 2, 89-112 (1994). Reviewer: G.Dzhaparidze MSC: 03F30 03B45 PDF BibTeX XML Cite \textit{G. Dzhaparidze}, Ann. Pure Appl. Logic 66, No. 2, 89--112 (1994; Zbl 0804.03045) Full Text: DOI OpenURL
Smullyan, Raymond M. Gödel’s incompleteness theorems. (English) Zbl 0787.03003 Oxford Logic Guides. 19. New York, NY: Oxford University Press. xiii, 139 p. (1992). Reviewer: A.M.Coyne (Asheville) MSC: 03-01 03F30 03-02 PDF BibTeX XML Cite \textit{R. M. Smullyan}, Gödel's incompleteness theorems. New York, NY: Oxford University Press (1992; Zbl 0787.03003) OpenURL
Beklemishev, L. D. Independent numerations of theories and of recursive progressions. (Russian) Zbl 0772.03029 Sib. Mat. Zh. 33, No. 5, 22-46 (1992). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03F40 03B45 03F30 PDF BibTeX XML Cite \textit{L. D. Beklemishev}, Sib. Mat. Zh. 33, No. 5, 22--46 (1992; Zbl 0772.03029) OpenURL
Došen, Kosta The first axiomatization of relevant logic. (English) Zbl 0767.03009 J. Philos. Log. 21, No. 4, 339-356 (1992). Reviewer: L.F.Goble (Salem) MSC: 03B47 03-03 03B45 PDF BibTeX XML Cite \textit{K. Došen}, J. Philos. Log. 21, No. 4, 339--356 (1992; Zbl 0767.03009) Full Text: DOI OpenURL
Beklemishev, L. D. Independent numerations of theories and recursive progressions. (English. Russian original) Zbl 0787.03054 Sib. Math. J. 33, No. 5, 760-783 (1992); translation from Sib. Mat. Zh. 33, No. 5, 22-46 (1992). MSC: 03F40 03B45 03F30 PDF BibTeX XML Cite \textit{L. D. Beklemishev}, Sib. Math. J. 33, No. 5, 22--46 (1992; Zbl 0787.03054); translation from Sib. Mat. Zh. 33, No. 5, 22--46 (1992) Full Text: DOI OpenURL
Shavrukov, V. Yu. On two extensions of the logic of provability GL. (English. Russian original) Zbl 0716.03009 Math. USSR, Sb. 69, No. 1, 255-270 (1991); translation from Mat. Sb. 181, No. 2, 240-255 (1990). MSC: 03B45 03F40 PDF BibTeX XML Cite \textit{V. Yu. Shavrukov}, Math. USSR, Sb. 69, No. 1, 255--270 (1991; Zbl 0716.03009); translation from Mat. Sb. 181, No. 2, 240--255 (1990) Full Text: DOI OpenURL
Shavrukov, V. Yu. On two extensions of the provability logic GL. (Russian) Zbl 0711.03003 Mat. Sb. 181, No. 2, 240-255 (1990). Reviewer: S.N.Artemov MSC: 03B45 03F40 PDF BibTeX XML Cite \textit{V. Yu. Shavrukov}, Mat. Sb. 181, No. 2, 240--255 (1990; Zbl 0711.03003) Full Text: EuDML OpenURL
Kuznetsov, A. V.; Muravitskij, A. Yu. Superintuitionistic logics as fragments of extensions of the provability logic. (Russian) Zbl 0642.03016 Mat. Issled. 98, 15-39 (1987). Reviewer: O.Štěpánková MSC: 03B55 03B45 PDF BibTeX XML Cite \textit{A. V. Kuznetsov} and \textit{A. Yu. Muravitskij}, Mat. Issled. 98, 15--39 (1987; Zbl 0642.03016) Full Text: EuDML OpenURL