• polski
    • English
  • English 
    • polski
    • English
  • Login
Search 
  •   DSpace Home
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 48/3 (2019)
  • Search
  •   DSpace Home
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 48/3 (2019)
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

AuthorJarmużek, Tomasz (1)Jun, Young Bae (1)Malinowski, Jacek (1)Omori, Hitoshi (1)Witczak, Tomasz (1)Xin, Xiao Long (1)Łazarz, Marcin (1)SubjectBoolean connexive logics (1)complex characteristic function (1)complex left (right) reduced ideal (1)complex subalgebra (1)complex t-norm (1)connexive logic (1)covering diamond (1)Distributive triple (1)dually distributive triple (1)intuitionistic modal logic (1)... View MoreDate Issued2019 (5)Has File(s)Yes (5)

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-5 of 5

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Modal Boolean Connexive Logics: Semantics and Tableau Approach 

Jarmużek, Tomasz; Malinowski, Jacek (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. ...
Thumbnail

A Note on Ciuciura’s mbC1 

Omori, Hitoshi (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new ...
Thumbnail

Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic 

Witczak, Tomasz (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. ...
Thumbnail

A Note on Distributive Triples 

Łazarz, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
Even if a lattice L is not distributive, it is still possible that for particular elements x, y, z ∈ L it holds (x∨y) ∧z = (x∧z) ∨ (y ∧z). If this is the case, we say that the triple (x, y, z) is distributive. In this note ...
Thumbnail

Complex Fuzzy Sets with Application in BCK/BCI-Algebras 

Jun, Young Bae; Xin, Xiao Long (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
As a generation of fuzzy set, the notion of complex fuzzy set which is an innovative concept is introduced by Ramot, Milo, Friedman and Kandel. The purpose of this article is to apply complex fuzzy set to BCK/BCI-algebras. ...

University of Lodz Repository

Contact Us | Send Feedback | Accessibility
 

 


University of Lodz Repository

Contact Us | Send Feedback | Accessibility