Similar Items: On the meaning of logical completeness
- Strongly Complete Logics for Coalgebras
- Constructing Fully Complete Models of Multiplicative Linear Logic
- A Complete Axiomatisation for Quantifier-Free Separation Logic
- Alignment complete relational Hoare logics for some and all
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees