• 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

Author
Jarmużek, Tomasz (1)
Malinowski, Jacek (1)SubjectBoolean connexive logics (1)connexive logic (1)modal Boolean connexive logics (1)modal logics (1)normal modal logics (1)possible worlds semantics (1)relatedness (1)relating logic (1)
relating semantics (1)
tableau methods (1)
... View MoreDate Issued
2019 (1)
Has File(s)Yes (1)

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-1 of 1

  • 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. ...

University of Lodz Repository

Contact Us | Send Feedback | Accessibility
 

 


University of Lodz Repository

Contact Us | Send Feedback | Accessibility