Tableaux approach for contact logics interpreted over intervals
Özdemir, Zafer
Reports on mathematical logic, 2023, Vol.58 (58), p.3-13
[Periódico revisado por pares]
Kraków: Jagiellonian University-Jagiellonian University Press
Texto completo disponível