Not every ``tabular predicate logic is finitely axiomatizable

DOI10.1023/A:1005088429206zbMath0920.03038OpenAlexW1545407035MaRDI QIDQ1378430

Dimitrij Skvortsov

Publication date: 16 March 1998

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005088429206

zbMATH Keywords

Kripke framefinite axiomatizablityintermediate predicate logicfunctor semantics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable