Synthetic completeness proofs for Seligman-style tableau systems.

Klaus Frovin Jrgensen, Patrick Blackburn, Thomas Bolander, Torben Braner

Browse the full AiML paper archive.