• 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

AuthorBiłat, Andrzej (2)Cı̅rulis, Ja̅nis (1)Dzik, Wojciech (1)Figallo, Aldo V. (1)French, Rohan (1)Gao, Feng (1)Humberstone, Lloyd (1)Kostrzycka, Zofia (1)Pelaitay, Gustavo (1)Pynko, Alexej P. (1)... View MoreSubjectadmissible rules (1)almost structural completeness (1)Closure operator (1)Complete Almost Distributive Lattice (1)Completely meet-irreducible element (1)cut admissibility (1)cut elimination (1)definition (1)distributive lattice (1)Dual atom (1)... View MoreDate Issued
2015 (13)
Has File(s)Yes (13)

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 13

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

Categorical Abstract Algebraic Logic: Referential π-Institutions 

Voutsadakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
Wójcicki introduced in the late 1970s the concept of a referential semantics for propositional logics. Referential semantics incorporate features of the Kripke possible world semantics for modal logics into the realm of ...
Thumbnail

Non-Fregean Logics of Analytic Equivalence (I) 

Biłat, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
The identity connective is usually interpreted in non-Fregean logic as an operator representing the identity of situations. This interpretation is related to the modal criterion of the identity of sentence correlates, ...
Thumbnail

An Observation Concerning Porte’s Rule in Modal Logic 

French, Rohan; Humberstone, Lloyd (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
It is well known that no consistent normal modal logic contains (as theorems) both ◊A and ◊¬A (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent ...
Thumbnail

Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5 

Dzik, Wojciech; Wróbel, Beniamin (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties ...
Thumbnail

Simple Logics for Basic Algebras 

Cı̅rulis, Ja̅nis (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
An MV-algebra is an algebra (A, ⊕, ¬, 0), where (A, ⊕, 0) is a commutative monoid and ¬ is an idempotent operation on A satisfying also some additional axioms. Basic algebras are similar algebras that can roughly be ...
Thumbnail

Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras 

Figallo, Aldo V.; Pelaitay, Gustavo (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
In 2015, A.V. Figallo and G. Pelaitay introduced tense n×m-valued Łukasiewicz–Moisil algebras, as a common generalization of tense Boolean algebras and tense n-valued Łukasiewicz–Moisil algebras. Here we initiate an ...
Thumbnail

On Some Applied First-Order Theories which Can Be Represented by Definitions 

Shalack, Vladimir (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
In the paper we formulate a sufficient criterion in order for the first order theory with finite set of axioms to be represented by definitions in predicate calculus. We prove the corresponding theorem. According to this ...
Thumbnail

Closure Operators on Complete Almost Distributive Lattices-III 

Rao, Calyampudi Radhakrishna; Undurthi, Venugopalam (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
In this paper, we prove that the lattice of all closure operators of a complete Almost Distributive Lattice L with fixed maximal element m is dual atomistic. We define the concept of a completely meet-irreducible element ...
Thumbnail

Non-Fregean Logics of Analytic Equivalence (II) 

Biłat, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
This paper presents the main assumptions of Andrzej Grzegorczyk’s last research project concerning the logic of synonymity. It shows that the basis of logic of analytic equivalence, presented in the first part of the work, ...
Thumbnail

On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames 

Kostrzycka, Zofia (Wydawnictwo Uniwersytetu Łódzkiego, 2015)
Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.
  • 1
  • 2

University of Lodz Repository

Contact Us | Send Feedback | Accessibility
 

 


University of Lodz Repository

Contact Us | Send Feedback | Accessibility