Home›Search›REPORTS ON MATHEMATICAL LOGIC

REPORTS ON MATHEMATICAL LOGIC

JAGIELLONIAN UNIV, THEORETICAL COMPUTER SCIENCE DEPT · PL · Est. 1973

ISSN0137-2904eISSN0137-2904

✓ WOS SCIE

/ 100

High Risk

Score Breakdown

✓ WoS SCIE/SSCI+25

Total25

Journal Impact Factor

This journal is indexed in Web of Science (JCR) and has an official Journal Impact Factor. View the current value on the journal’s page ↗

CiteScore

0.6

SNIP

0.286

Aims & Scope

Reports on Mathematical Logic is a journal aimed at publishing quality research papers on mathematical logic and foundations of mathematics. Applications of logical methods and concepts in mathematics, mathematical linguistics, theoretical computer science and philosophy are also welcome.

General Information

Country / RegionPL

Primary LanguageEnglish

1st Year Published1973

FrequencyAnnual

StatusActive

Total Publications—

Publisher OrgWydawnictwo Uniwersytetu Jagiellońskiego

Visit Journal Website

Submission Info

Peer Review—

Review Time—

Acceptance Rate—

OA LicenseCC BY 4.0

OA Rate—

Ethics & Quality

COPE Member✗ No

OASPA Member✗ No

Not on Predatory Lists✓ Yes

Think.Check.Submit Compliance

thinkchecksubmit.org

6/12 · 50%

✅

Do you know the journal / publisher?

JAGIELLONIAN UNIV, THEORETICAL COMPUTER SCIENCE DEPT

✅

Does the journal have a website?

✓ Linked

✅

Is the ISSN verified?

0137-2904 / 0137-2904

✅

Indexed in a trusted database?

WoS

❌

Peer review process documented?

N/A

❌

Follows ethical publishing standards (COPE)?

N/A

❌

APC fees clearly disclosed?

N/A

✅

Not on predatory/blacklists?

✓ Clean

❌

Long-term digital preservation?

N/A

❌

Plagiarism detection in place?

N/A

❌

Listed in DOAJ (verified OA)?

N/A

✅

Primary language documented?

English

Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.

Subject Classification

Web of Science Categories

LogicMathematics

Research Topics (OpenAlex)

Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systemsRough Sets and Fuzzy Logicsemigroups and automata theoryRings, Modules, and AlgebrasComputability, Logic, AI AlgorithmsAdvanced Topology and Set TheoryFormal Methods in VerificationFuzzy and Soft Set Theory