Document Search Results

Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 71-124 (2022).

MSC: 03B55 06D20 06E15

Cite Review PDF

Full Text: DOI

Erné, Marcel

Nuclear ranges in implicative semilattices. (English) Zbl 1531.06003

Algebra Univers. 83, No. 2, Paper No. 18, 22 p. (2022).

Reviewer: Vinayak Joshi (Pune)

MSC: 06A12 06A15 06D20

Cite Review PDF

Full Text: DOI

OA License

Erné, Marcel; Picado, Jorge; Pultr, Aleš

Adjoint maps between implicative semilattices and continuity of localic maps. (English) Zbl 1495.06004

Algebra Univers. 83, No. 2, Paper No. 13, 23 p. (2022).

Reviewer: Sergejs Solovjovs (Praha)

MSC: 06D20 06A15 06D22 18B35 18F70 54C05

Cite Review PDF

Full Text: DOI

OA License

Ávila, F.; Bezhanishvili, G.; Morandi, P. J.; Zaldívar, A.

The frame of nuclei on an Alexandroff space. (English) Zbl 1485.06007

Order 38, No. 1, 67-78 (2021).

Reviewer: Themba Dube (Unisa)

MSC: 06D22 54D20

Cite Review PDF

Full Text: DOI arXiv

Bezhanishvili, G.; Bezhanishvili, N.; Carai, L.; Gabelaia, D.; Ghilardi, S.; Jibladze, M.

Diego’s theorem for nuclear implicative semilattices. (English) Zbl 1498.06007

Indag. Math., New Ser. 32, No. 2, 498-535 (2021).

MSC: 06A12 03B45 03G10 03G25 06D20

Cite Review PDF

Full Text: DOI arXiv

Celani, Sergio A.; Montangie, Daniela

Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic. (English) Zbl 1437.03085

Soft Comput. 24, No. 2, 813-823 (2020).

MSC: 03B45 03B20 03G25 06D20

Cite Review PDF

Full Text: DOI

Ávila, F.; Bezhanishvili, G.; Morandi, P. J.; Zaldívar, A.

When is the frame of nuclei spatial: a new approach. (English) Zbl 1444.06007

J. Pure Appl. Algebra 224, No. 7, Article ID 106302, 20 p. (2020).

Reviewer: Jorge Picado (Coimbra)

MSC: 06D22 06E15 54F05 54G12

Cite Review PDF

Full Text: DOI arXiv

Fussner, Wesley; Ugolini, Sara

A topological approach to MTL-algebras. (English) Zbl 1475.03102

Algebra Univers. 80, No. 3, Paper No. 38, 37 p. (2019).

Reviewer: Hongxing Liu (Jinan)

MSC: 03G25 06D50 06E15

Cite Review PDF

Full Text: DOI arXiv

Fussner, Wesley; Galatos, Nick

Categories of models of \(\mathbf{R}\)-mingle. (English) Zbl 1532.03095

Ann. Pure Appl. Logic 170, No. 10, 1188-1242 (2019).

MSC: 03G25 03G10 03B47 03B42 03B50 03B52

Cite Review PDF

Full Text: DOI arXiv

Goudsmit, Jeroen P.

The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\). (English) Zbl 1455.03034

Notre Dame J. Formal Logic 59, No. 3, 325-353 (2018).

MSC: 03B55 03B20

Cite Review PDF

Full Text: DOI Euclid

Bezhanishvili, Nick; de Jongh, Dick

Stable formulas in intuitionistic logic. (English) Zbl 1456.03052

Notre Dame J. Formal Logic 59, No. 3, 307-324 (2018).

MSC: 03B55 03B20

Cite Review PDF

Full Text: DOI Euclid Link

Bezhanishvili, Guram

Forbidden configurations and subframe varieties. (English) Zbl 1412.06012

Algebra Univers. 76, No. 2, 237-243 (2016).

Reviewer: Alex Citkin (Warren)

MSC: 06D20 06E15 03B55 08B05

Cite Review PDF

Full Text: DOI

Bezhanishvili, Nick; Coumans, Dion; van Gool, Samuel J.; de Jongh, Dick

Duality and universal models for the meet-implication fragment of IPC. (English) Zbl 1326.03016

Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 97-116 (2015).

MSC: 03B20 06D20 06D50

Cite Review PDF

Full Text: DOI arXiv

Bezhanishvili, Guram; Harding, John

Proximity frames and regularization. (English) Zbl 1316.06009

Appl. Categ. Struct. 22, No. 1, 43-78 (2014).

Reviewer: Jorge Picado (Coimbra)

MSC: 06D22 18B35 54E05 54B30 18B30

Cite Review PDF

Full Text: DOI

Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka

Funayama’s theorem revisited. (English) Zbl 1285.06004

Algebra Univers. 70, No. 3, 271-286 (2013).

Reviewer: Florentina Chirteş (Craiova)

MSC: 06D10 06D20 06D22 06E15

Cite Review PDF

Full Text: DOI

Bezhanishvili, Guram; Bezhanishvili, Nick

Canonical formulas \(\mathbf{wK4}\). (English) Zbl 1314.03020

Rev. Symb. Log. 5, No. 4, 731-762 (2012).

Reviewer: Xavier Parent (Luxembourg)

MSC: 03B45 03G25 03B99

Cite Review PDF

Full Text: DOI

Bezhanishvili, Guram; Bezhanishvili, Nick

An algebraic approach to canonical formulas: modal case. (English) Zbl 1250.03124

Stud. Log. 99, No. 1-3, 93-125 (2011).

Reviewer: Michiro Kondo (Inzai)

MSC: 03G25 03B45

Cite Review PDF

Full Text: DOI

Ghilardi, Silvio

Continuity, freeness, and filtrations. (English) Zbl 1242.03049

J. Appl. Non-Class. Log. 20, No. 3, 193-217 (2010).

MSC: 03B45 03B22 06E25

Cite Review PDF

Full Text: DOI

Bezhanishvili, Guram; Bezhanishvili, Nick

An algebraic approach to canonical formulas: intuitionistic case. (English) Zbl 1183.03065

Rev. Symb. Log. 2, No. 3, 517-549 (2009).

Reviewer: Florentina Chirteş (Craiova)

MSC: 03G25 03B55 06D20

Cite Review PDF

Full Text: DOI

Bezhanishvili, Nick

Frame based formulas for intermediate logics. (English) Zbl 1172.03019

Stud. Log. 90, No. 2, 139-159 (2008).

Reviewer: Osamu Sonobe (Follonica)

MSC: 03B55 03B45

Cite Review PDF

Full Text: DOI

Found 25 Documents (Results 1–25)

Lewisian fixed points. I: Two incomparable constructions. (English) Zbl 07920705

Intuitionistic modal algebras. (English) Zbl 07871660

Deriving dualities in pointfree topology from Priestley duality. (English) Zbl 1523.18010

Hereditarily structurally complete intermediate logics: Citkin’s theorem via duality. (English) Zbl 07677355

Admissible rules for six intuitionistic modal logics. (English) Zbl 07653729

Jankov formulas and axiomatization techniques for intermediate logics. (English) Zbl 1543.03061

Nuclear ranges in implicative semilattices. (English) Zbl 1531.06003

Adjoint maps between implicative semilattices and continuity of localic maps. (English) Zbl 1495.06004

The frame of nuclei on an Alexandroff space. (English) Zbl 1485.06007

Diego’s theorem for nuclear implicative semilattices. (English) Zbl 1498.06007

Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic. (English) Zbl 1437.03085

When is the frame of nuclei spatial: a new approach. (English) Zbl 1444.06007

A topological approach to MTL-algebras. (English) Zbl 1475.03102

Categories of models of \(\mathbf{R}\)-mingle. (English) Zbl 1532.03095

The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\). (English) Zbl 1455.03034

Stable formulas in intuitionistic logic. (English) Zbl 1456.03052

Forbidden configurations and subframe varieties. (English) Zbl 1412.06012

Duality and universal models for the meet-implication fragment of IPC. (English) Zbl 1326.03016

Proximity frames and regularization. (English) Zbl 1316.06009

Funayama’s theorem revisited. (English) Zbl 1285.06004

Canonical formulas \(\mathbf{wK4}\). (English) Zbl 1314.03020

An algebraic approach to canonical formulas: modal case. (English) Zbl 1250.03124

Continuity, freeness, and filtrations. (English) Zbl 1242.03049

An algebraic approach to canonical formulas: intuitionistic case. (English) Zbl 1183.03065

Frame based formulas for intermediate logics. (English) Zbl 1172.03019

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field