0138-0680

Bulletin of the Section of Logic

Uniwersytet Lodzki (University of Lodz)

Health Score

0 Good

Metadata coverage

Abstract
ORCID
References
License

Extended metadata coverage

Informational — signals of interoperability and funding across the corpus. Not part of the health score.

Funding

Funder
Award / grant

Affiliation & institutional identifiers

Affiliation
ROR ID

Update policy

Update policy

Your prioritized action plan

Ordered by how many DOIs each fix touches — start here, not with every error at once.

1

Attach ORCID iDs across 136 articles

ORCID iDs strengthen author disambiguation and institutional reporting.

High impact136 DOIs
2

Deposit reference lists for 104 records

Deposited references power Crossref's Cited-by links between your articles and the literature.

Medium impact104 DOIs
3

Add abstracts to 19 articles

Abstracts are what surface your work in Google Scholar, Dimensions, and OpenAlex.

Low impact19 DOIs

DOIs for this ISSN

Showing the top 5 of 229 DOIs, ordered by correction priority.

# Title Missing Priority Citations
1 An Inferentially Many-Valued Two-Dimensional Notion of Entai… (10.18778/0138-0680.46.3.4.05)
References ORCID
67.12 21
2 A Binary Quantifier for Definite Descriptions in Intuitionis… (10.18778/0138-0680.48.2.01)
References ORCID
57.31 13
3 Modal Boolean Connexive Logics: Semantics and Tableau Approa… (10.18778/0138-0680.48.3.05)
References ORCID
55.70 12
4 Full Cut Elimination and Interpolation for Intuitionistic Lo… (10.18778/0138-0680.48.2.04)
References ORCID
47.71 8
5 An Investigation into Intuitionistic Logic with Identity (10.18778/0138-0680.48.4.02)
References ORCID
47.71 8
6 From Gentzen to Jaskowski and Back: Algorithmic Translation… (10.18778/0138-0680.46.1.2.06)
References ORCID
42.25 6
7 A Note on Ciuciura’s mbC1 (10.18778/0138-0680.48.3.01)
References ORCID
42.25 6
8 Labeled Sequent Calculus for Orthologic (10.18778/0138-0680.47.4.01)
References ORCID
38.91 5
9 Rule-Generation Theorem and its Applications (10.18778/0138-0680.47.4.03)
References ORCID
38.91 5
10 Four-Valued Logics BD and DM4: Expansions (10.18778/0138-0680.46.1.2.04)
References ORCID
34.95 4
11 A Modified Subformula Property for the Modal Logic S4.2 (10.18778/0138-0680.48.1.02)
References ORCID
34.95 4
12 Complex Fuzzy Sets with Application in BCK/BCI-Algebras (10.18778/0138-0680.48.3.02)
References ORCID
34.95 4
13 Two Treatments of Definite Descriptions in Intuitionist Nega… (10.18778/0138-0680.48.4.04)
References ORCID
34.95 4
14 Introduction: Bilateralism and Proof-Theoretic Semantics (Pa… (10.18778/0138-0680.2023.12)
Abstract ORCID
30.10 3
15 A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant… (10.18778/0138-0680.45.2.03)
References ORCID
30.10 3
16 Involutive Nonassociative Lambek Calculus: Sequent Systems a… (10.18778/0138-0680.46.1.2.07)
References ORCID
30.10 3
17 Cut Elimination Theorem for Non-Commutative Hypersequent Cal… (10.18778/0138-0680.46.1.2.10)
References ORCID
30.10 3
18 Free Modal Pseudocomplemented De Morgan Algebras (10.18778/0138-0680.47.2.02)
References ORCID
30.10 3
19 B-almost distributive fuzzy lattice (10.18778/0138-0680.47.3.03)
References ORCID
30.10 3
20 Functional Completeness in CPL via Correspondence Analysis (10.18778/0138-0680.48.1.04)
References ORCID
30.10 3
21 The Method of Socratic Proofs Meets Correspondence Analysis (10.18778/0138-0680.48.2.02)
References ORCID
30.10 3
22 Universality of Logic (10.18778/0138-0680.46.1.2.03)
References ORCID
23.86 2
23 On Theses Without Iterated Modalities of Modal Logics Betwee… (10.18778/0138-0680.46.1.2.09)
References ORCID
23.86 2
24 Identity, Equality, Nameability and Completeness (10.18778/0138-0680.46.3.4.02)
References ORCID
23.86 2
25 On Theses without Iterated Modalities of Modal Logics Betwee… (10.18778/0138-0680.46.3.4.03)
References ORCID
23.86 2
26 A comparison of two systems of point-free topology (10.18778/0138-0680.47.3.04)
References ORCID
23.86 2
27 A Post-style proof of completeness theorem for symmetric rel… (10.18778/0138-0680.47.3.05)
References ORCID
23.86 2
28 A Syntactic Approach to Closure Operation (10.18778/0138-0680.46.3.4.04)
References ORCID License
22.58 1
29 Supposition: A Problem for Bilateralism (10.18778/0138-0680.2023.07)
ORCID
21.13 6
30 The Theory of an Arbitrary Higher \(\lambda\)-Model (10.18778/0138-0680.2023.11)
ORCID
19.45 5
31 An Arithmetically Complete Predicate Modal Logic (10.18778/0138-0680.2021.18)
ORCID
17.47 4
32 A Benchmark Similarity Measures for Fermatean Fuzzy Sets (10.18778/0138-0680.2022.08)
ORCID
17.47 4
33 A Note on some Characterization of Distributive Lattices of… (10.18778/0138-0680.44.1.2.02)
ORCID
17.47 4
34 Inf-Hesitant Fuzzy Ideals in BCK/BCI-Algebras (10.18778/0138-0680.2020.03)
References ORCID
15.05 1
35 The Dynamic Epistemic Logic for Actual Knowledge (10.18778/0138-0680.2020.04)
References ORCID
15.05 1
36 Computer-supported Analysis of Positive Properties, Ultrafil… (10.18778/0138-0680.2020.08)
ORCID
15.05 3
37 Introduction: Bilateralism and Proof-Theoretic Semantics (Pa… (10.18778/0138-0680.2023.24)
Abstract ORCID
15.05 1
38 Elementary Proof of Strong Normalization for Atomic F (10.18778/0138-0680.45.1.01)
References ORCID
15.05 1
39 A New Arithmetically Incomplete First-Order Extension of Gl… (10.18778/0138-0680.45.1.02)
References ORCID
15.05 1
40 Characterization of Birkhoff’s Conditions by Means of Cover-… (10.18778/0138-0680.45.3.4.04)
References ORCID
15.05 1
41 The Infinite-Valued Łukasiewicz Logic and Probability (10.18778/0138-0680.46.1.2.05)
References ORCID
15.05 1
42 Some Weak Variants of the Existence and Disjunction Properti… (10.18778/0138-0680.46.1.2.08)
References ORCID
15.05 1
43 Logics with Impossibility as the Negation and Regular Extens… (10.18778/0138-0680.46.3.4.06)
References ORCID
15.05 1
44 Useful Four-Valued Extension of the Temporal Logic KtT4 (10.18778/0138-0680.47.1.02)
References ORCID
15.05 1
45 Algebraic Characterization of the Local Craig Interpolation… (10.18778/0138-0680.47.1.04)
References ORCID
15.05 1
46 Variable Sharing in Substructural Logics: an Algebraic Chara… (10.18778/0138-0680.47.2.03)
References ORCID
15.05 1
47 On Injective MV-Modules (10.18778/0138-0680.47.4.04)
References ORCID
15.05 1
48 Positive Implicative Soju Ideals in BCK-Algebras (10.18778/0138-0680.48.1.01)
References ORCID
15.05 1
49 Two Infinite Sequences of Pre-Maximal Extensions of the Rele… (10.18778/0138-0680.48.1.03)
References ORCID
15.05 1
50 Semi-Heyting Algebras and Identities of Associative Type (10.18778/0138-0680.48.2.03)
References ORCID
15.05 1