• polski
    • English
  • polski 
    • polski
    • English
  • Zaloguj
Szukaj 
  •   Repozytorium UŁ
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Szukaj
  •   Repozytorium UŁ
  • Czasopisma naukowe | Scientific Journals
  • Bulletin of the Section of Logic
  • Szukaj
JavaScript is disabled for your browser. Some features of this site may not work without it.

Przeglądaj

Całe RepozytoriumZbiory i kolekcje Daty wydaniaAutorzyTytułyTematyTen zbiórDaty wydaniaAutorzyTytułyTematy

Moje konto

ZalogujZarejestruj

Odkryj

AutorFerreira, Fernando (2)Ferreira, Gilda (2)Staruch, Bogdan (2)Blanco, José M. (1)Dzik, Wojciech (1)Glenszczyk, Anna (1)Halušková, Emília (1)Ilić, Mirjana (1)Indrzejczak, Andrzej (1)Jun, Young Bae (1)... zobacz więcejTematalgebraic lattice (2)congruence lattice (2)decomposition of algebra (2)elementary proofs (2)intuitionistic logic (2)lambda-calculus (2)modular lattice (2)sequent calculus (2)star-product (2)strong normalization (2)... zobacz więcejData wydania
2016 (18)
Has File(s)Yes (18)

Szukaj

Show Advanced FiltersHide Advanced Filters

Filtry

Użyj filtrów by uściślić zapytanie.

Wyświetlanie pozycji 1-10 z 18

  • Opcje sortowania:
  • Znaczenie
  • Tytuł (rosnąco)
  • Tytuł (malejąco)
  • Data wydania (rosnąco)
  • Data wydania (malejąco)
  • Wyników na stronę:
  • 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

Commutative Energetic Subsets of BCK-Algebras 

Jun, Young Bae; Roh, Eun Hwan; Song, Seok Zun (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
The notions of a C-energetic subset and (anti) permeable C-value in BCK-algebras are introduced, and related properties are investigated. Conditions for an element t in [0, 1] to be an (anti) permeable C-value are provided. ...
Thumbnail

Elementary Proof of Strong Normalization for Atomic F 

Ferreira, Fernando; Ferreira, Gilda (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
We give an elementary proof (in the sense that it is formalizable in Peano arithmetic) of the strong normalization of the atomic polymorphic calculus Fₐₜ (a predicative restriction of Girard’s system F).
Thumbnail

Some Algebraic and Algorithmic Problems in Acoustocerebrography 

Kolany, Adam; Wrobel, Miroslaw (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
Progress in the medical diagnostic is relentlessly pushing the measurement technology as well with its intertwined mathematical models and solutions. Mathematics has applications to many problems that are vital to human ...
Thumbnail

A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4 

Robles, Gemma; López, Sandra M.; Blanco, José M.; Recio, Marcos M.; Paradela, Jesús R. (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. ...
Thumbnail

Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term Institutions 

Voutsadakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with ...
Thumbnail

Axiomatization of a Basic Logic of Logical Bilattices 

Takano, Mitio (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing (J Philos Logic 34:121–153, 2005) as a candidate for the basic logic of logical bilattices.
Thumbnail

A New Arithmetically Incomplete First- Order Extension of Gl All Theorems of Which Have Cut Free Proofs 

Tourlakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
Reference [12] introduced a novel formula to formula translation tool (“formulators”) that enables syntactic metatheoretical investigations of first-order modal logics, bypassing a need to convert them first into Gentzen ...
Thumbnail

An Elementary Proof of Strong Normalization for Atomic F 

Ferreira, Fernando; Ferreira, Gilda (Uniwersytet Łódzki. Katedra Logiki i Metodologii Nauk, 2016)
We give an elementary proof (in the sense that it is formalizable in Peano arithmetic) of the strong normalization of the atomic polymorphic calculus F_{at} (a predicative restriction of Girard’s system F).
Thumbnail

Irredundant Decomposition of Algebras into One-Dimensional Factors 

Staruch, Bogdan (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
We introduce a notion of dimension of an algebraic lattice and, treating such a lattice as the congruence lattice of an algebra, we introduce the dimension of an algebra, too. We define a star-product as a special kind of ...
  • 1
  • 2

Repozytorium Uniwersytetu Łódzkiego

Kontakt z nami | Wyślij uwagi | Deklaracja dostępności
 

 


Repozytorium Uniwersytetu Łódzkiego

Kontakt z nami | Wyślij uwagi | Deklaracja dostępności