• 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

AuthorIndrzejczak, Andrzej (2)Leszczyńska-Jasion, Dorota (2)Petrukhin, Yaroslav (2)Shangin, Vasilyi (2)Takano, Mitio (2)Degauquier, Vincent (1)Jukiewicz, Marcin (1)Pynko, Alexej P. (1)Subject
sequent calculus (8)
logic (3)classical propositional logic (2)correspondence analysis (2)automated deduction (1)automated rules generation (1)bi-intuitionistic logic (1)cut elimination (1)cut-redundancy (1)decidability (1)... View MoreDate Issued2019 (3)2016 (2)2018 (2)2015 (1)Has File(s)Yes (8)

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-8 of 8

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

Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics 

Pynko, Alexej P. (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
The primary objective of this paper, which is an addendum to the author’s [8], is to apply the general study of the latter to Łukasiewicz’s n-valued logics [4]. The paper provides an analytical expression of a 2(n−1)-place ...
Thumbnail

Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus 

Indrzejczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2016)
In the paper a decision procedure for S5 is presented which uses a cut-free sequent calculus with additional rules allowing a reduction to normal modal forms. It utilizes the fact that in S5 every formula is equivalent to ...
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 Useful Four-Valued Extension of the Temporal Logic KtT4 

Degauquier, Vincent (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the ...
Thumbnail

Rule-Generation Theorem and its Applications 

Indrzejczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical ...
Thumbnail

A Modified Subformula Property for the Modal Logic S4.2 

Takano, Mitio (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
The modal logic S4.2 is S4 with the additional axiom ◊□A ⊃ □◊A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cut-rule, it is ...
Thumbnail

Functional Completeness in CPL via Correspondence Analysis 

Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi; Jukiewicz, Marcin (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only ...
Thumbnail

The Method of Socratic Proofs Meets Correspondence Analysis 

Leszczyńska-Jasion, Dorota; Petrukhin, Yaroslav; Shangin, Vasilyi (Wydawnictwo Uniwersytetu Łódzkiego, 2019)
The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic (i.e. pertaining to the logic of questions) calculi which constitute the method of Socratic proofs by Andrzej ...

University of Lodz Repository

Contact Us | Send Feedback
 

 


University of Lodz Repository

Contact Us | Send Feedback