Switch to: References

Add citations

You must login to add citations.
  1. Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
    Using a result of Gurevich and Lewis on the word problem for finite semigroups, we give short proofs that the following theories are hereditarily undecidable: (1) finite graphs of vertex-degree at most 3; (2) finite nonvoid sets with two distinguished permutations; (3) finite-dimensional vector spaces over a finite field with two distinguished endomorphisms.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Discriminator logics.Matthew Spinks, Robert Bignall & Robert Veroff - 2014 - Australasian Journal of Logic 11 (2).
    A discriminator logic is the 1 -assertional logic of a discriminator variety V having two constant terms 0 and 1 such that V ⊨ 0 1 iff every member of V is trivial. Examples of such logics abound in the literature. The main result of this research announcement asserts that a certain non-Fregean deductive system SBPC, which closely resembles the classical propositional calculus, is canonical for the class of discriminator logics in the sense that any discriminator logic S can be (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark