Mīmāṃsā Deontic Logic: Proof Theory and Applications.
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Bjrn Lellmann
Browse the full TABLEAUX paper archive.
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Bjrn Lellmann
Browse the full TABLEAUX paper archive.