• 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/4 (2019)
  • Search
  •   DSpace Home
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Bulletin of the Section of Logic 48/4 (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

AuthorChlebowski, Szymon (1)Grygiel, Joanna (1)Kurbis, Nils (1)Leszczyńska-Jasion, Dorota (1)Nowak, Marek (1)Yazaki, Daishi (1)Subjectcongruence (2)admissibility of cut (1)analytic cut (1)binary quantifier (1)closure operation (1)covering system (1)definite descriptions (1)finite model property (1)Galois connection (1)gluing (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

Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic 

Kurbis, Nils (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
Sentences containing definite descriptions, expressions of the form `The F', can be formalised using a binary quantier that forms a formula out of two predicates, where ℩x[F;G] is read as `The F is G'. This is an innovation ...
Thumbnail

Disjunctive Multiple-Conclusion Consequence Relations 

Nowak, Marek (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the ...
Thumbnail

An Investigation into Intuitionistic Logic with Identity 

Chlebowski, Szymon; Leszczyńska-Jasion, Dorota (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s ...
Thumbnail

Many Faces of Lattice Tolerances 

Grygiel, Joanna (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
Our aim is to overview and discuss some of the most popular approaches to the notion of a tolerance relation in algebraic structures with the special emphasis on lattices.
Thumbnail

Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3 

Yazaki, Daishi (Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
The main purpose of this paper is to give alternative proofs of syntactical and semantical properties, i.e. the subformula property and the nite model property, of the sequent calculi for the modal logics K4.3, KD4.3, and ...

University of Lodz Repository

Contact Us | Send Feedback | Accessibility
 

 


University of Lodz Repository

Contact Us | Send Feedback | Accessibility