## Works by Wieslaw Dziobiak

5 found
Order:
1. Modal logics connected with systems S4n of Sobociński.Jerzy J. Blaszczuk & Wieslaw Dziobiak - 1977 - Studia Logica 36 (3):151-164.
Direct download (4 more)

Export citation

Bookmark   8 citations
2. Equivalents for a Quasivariety to be Generated by a Single Structure.Wieslaw Dziobiak, A. V. Kravchenko & Piotr J. Wojciechowski - 2009 - Studia Logica 91 (1):113-123.
We present some equivalent conditions for a quasivariety \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {K}}$$\end{document} of structures to be generated by a single structure. The first such condition, called the embedding property was found by A.I. Mal′tsev in [6]. It says that if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\bf A}, {\bf B} \in \mathcal {K}}$$\end{document} are nontrivial, then there exists \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\bf C} \in \mathcal{K}}$$\end{document} (...)
Direct download (4 more)

Export citation

Bookmark   2 citations
3. In Memory of Willem Johannes Blok 1947-2003.Joel Berman, Wieslaw Dziobiak, Don Pigozzi & James Raftery - 2006 - Studia Logica 83 (1-3):5-14.
Direct download (5 more)

Export citation

Bookmark
4. On truth-schemes for intensional logics.Janusz Czelakowski & Wieslaw Dziobiak - 2006 - Reports on Mathematical Logic.

Export citation

Bookmark
5. On detachment-substitutional formalization in normal modal logics.Wieslaw Dziobiak - 1977 - Studia Logica 36 (3):165 - 171.
The aim of this paper is to propose a criterion of finite detachment-substitutional formalization for normal modal systems. The criterion will comprise only those normal modal systems which are finitely axiomatizable by means of the substitution, detachment for material implication and Gödel rules.
Direct download (4 more)

Export citation

Bookmark