Switch to: References

Citations of:

On Finite Logics

Journal of Symbolic Logic 36 (2):330-330 (1971)

Add citations

You must login to add citations.
  1. Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
    An example of finite tree Mo is presented such that its predicate logic (i.e. the intermediate predicate logic characterized by the class of all predicate Kripke frames based on Mo) is not finitely axiomatizable. Hence it is shown that the predicate analogue of de Jongh - McKay - Hosoi's theorem on the finite axiomatizability of every finite intermediate propositional logic is not true.
    Download  
     
    Export citation  
     
    Bookmark   1 citation