Not Every "Tabular" Predicate Logic is Finitely Axiomatizable
| Title: | Not Every "Tabular" Predicate Logic is Finitely Axiomatizable |
|---|---|
| Authors: | Skvortsov, Dmitrij |
| Source: | Studia Logica: An International Journal for Symbolic Logic. November 1997 59(3):387-396 |
| Database: | Springer Nature Journals |