Number 58

Reports on Mathematical Logic

Peer review
- Procedures for external peer review
- External Reviewers

2023

Publication date: 2023

Licence: CC BY

Issue content

Tableaux approach for contact logics interpreted over intervals

Zafer Özdemir

Reports on Mathematical Logic, Number 58, 2023, pp. 3 - 13

https://doi.org/10.4467/20842589RM.23.001.18800

PDF

Invariant Universality for Projective Planes

Gianluca Paolini

Reports on Mathematical Logic, Number 58, 2023, pp. 15 - 27

https://doi.org/10.4467/20842589RM.23.002.18801

PDF

Files to download

Table of Contents PDF Editorial and Title Pages PDF

Słowa kluczowe: Contact logics interpreted over intervals, tableaux approach, decision procedures., descriptive set theory; bi-embeddability relation; projective planes; in- variant universality