Charles Explorer logo
🇬🇧

Antistructural Completeness in Propositional Logics

Publication at Faculty of Arts |
2017

Abstract

In this contribution, we described the notion of an antistructural completion αL of a propositional logic L, which is in a natural sense dual to the well-known notion of a structural completion of a logic, and provide several equivalent characterizations of such completions under some mild conditions on the logic in question.