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

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

AuthorChlebowski, Szymon (1)Dzik, Wojciech (1)Ilić, Mirjana (1)Kostrzycka, Zofia (1)Leszczyńska-Jasion, Dorota (1)Maffezioli, Paolo (1)Orlandelli, Eugenio (1)Przybyło, Sławomir (1)Radeleczki, Sándor (1)Rasga, João (1)... View MoreSubject
intuitionistic logic (7)
cut elimination (2)admissibility of cut (1)Brouwer's modal logic (1)combination of logics (1)compatible operation (1)congruence (1)dense elements (1)equivalential algebras (1)existence predicate (1)... View MoreDate Issued2016 (2)2019 (2)2020 (1)2022 (1)2024 (1)Has File(s)Yes (7)

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-7 of 7

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

An Alternative Natural Deduction for the Intuitionistic Propositional Logic 

Ilić, Mirjana (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via ...
Thumbnail

Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate 

Maffezioli, Paolo; Orlandelli, Eugenio (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that ...
Thumbnail

Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras 

Dzik, Wojciech; Radeleczki, Sándor (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that ...
Thumbnail

Equivalential Algebras with Conjunction on Dense Elements 

Przybyło, Sławomir; Słomczyńska, Katarzyna (Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-25)
We study the variety generated by the three-element equivalential algebra with conjunction on the dense elements. We prove the representation theorem which let us construct the free algebras in this variety.
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

From Intuitionism to Brouwer's Modal Logic 

Kostrzycka, Zofia (Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication ...
Thumbnail

On Combining Intuitionistic and S4 Modal Logic 

Rasga, João; Sernadas, Cristina (Wydawnictwo Uniwersytetu Łódzkiego, 2024-06-05)
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors ...

University of Lodz Repository

Contact Us | Send Feedback | Accessibility
 

 


University of Lodz Repository

Contact Us | Send Feedback | Accessibility