The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)

Autor: Szmuc, Damian E.
Zdroj: Bulletin of the Section of Logic. 50(4):421-453
Databáze: Central and Eastern European Online Library (CEEOL)