4 found
Order:
  1.  66
    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  
  2. On truth-schemes for intensional logics.Janusz Czelakowski & Wieslaw Dziobiak - 2006 - Reports on Mathematical Logic.
     
    Export citation  
     
    Bookmark   1 citation  
  3.  45
    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  
  4. Non-existence of a countable strongly adequate matrix semantics for neighbours of E.Wieslaw Dziobiak - 1981 - Bulletin of the Section of Logic 10 (4):170-174.
    Very often logics are dened by means of the axiomatic method which depends, roughly speaking, on selecting some set of axiom schemas together with certain rules of inferences; here we consider only log- ics that are dened in this way. The representative examples are: E, R and INT. In the case of E and R the modus ponens rule and the rule of adjunction are used, while for INT the modus ponens only; all of them, of course, together with some (...)
     
    Export citation  
     
    Bookmark   1 citation