Canonical extensions for congruential logics with the deduction theorem

✍ Scribed by Mai Gehrke; Ramon Jansana; Alessandra Palmigiano

• Publisher: Elsevier Science
• Year: 2010
• Tongue: English
• Weight: 512 KB
• Volume: 161
• Category: Article
• ISSN: 0168-0072
• DOI: 10.1016/j.apal.2010.05.003