A Sequent Based Logic for Coincidence Grids

Information is often represented in tabular format in everyday documents such as balance sheets, sales figures, and so on. Tables represent an interesting point in the spectrum of representation systems between pictures and sentences, since some aspect of tables are sentential or conventional in nature, while others are graphical. In this paper we describe the logic of a particular formalized tabular representation system, that of coincidence grids. Although less common than everyday tables, this system is recommended for use in the search for solution of so-called “Logic Puzzles”. Such puzzles provide a specific reasoning task in service of which the tabular representation is used.

• Type: Conference
• Year: 2007
• Where: VL
• Authors: Dave Barker-Plummer, Nik Swoboda
• Keywords: Languages, Representation System, Tabular Representation, Tabular Representation System, VL 2007