• 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

AuthorTourlakis, George (2)Gao, Feng (1)Manzano, María (1)Moreno, Manuel Crescencio (1)Woleński, Jan (1)Subject
first-order logic (4)
cut elimination (2)GL (2)Modal logic (2)proof theory (2)QGL (2)arithmetical completeness (1)completeness (1)comprehension (1)consequence operation (1)... View MoreDate Issued2017 (2)2015 (1)2016 (1)Has File(s)Yes (4)

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-4 of 4

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
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

Universality of Logic 

Woleński, Jan (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, ...
Thumbnail

A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics 

Gao, Feng; Tourlakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer ...
Thumbnail

Identity, Equality, Nameability and Completeness 

Manzano, María; Moreno, Manuel Crescencio (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the ...

University of Lodz Repository

Contact Us | Send Feedback | Accessibility
 

 


University of Lodz Repository

Contact Us | Send Feedback | Accessibility