Unification types and union splittings in intermediate logics

From MaRDI portal

Publication:6614043

Jump to:navigation, search

DOI10.1016/j.apal.2024.103508MaRDI QIDQ6614043

Sławomir Kost, Wojciech Dzik, Piotr Wojtylak

Publication date: 7 October 2024

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

splittings Kripke models unification types locally tabular intermediate logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: Unification types and union splittings in intermediate logics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6614043&oldid=40167752"