Structure, Consequence Relation and Logic
Gabriella Crocco, Luís Fariñas del Cerro · 1994
Abstract Traditionally logic is defined using set theoretical concepts since historically, the main application of formal logic was mathematical concepts. Systems alternative to classical logic were proposed very early on. However, the new application of logic to computer science requires us to express concepts very different from those handled by the standard set operations.