( en | de | ru )

 

Disambiguation of "Alama, Jesse"

Author of the publication

copydeleteadd this publication to your clipboard
Proof rules for the dialogical logic N.

, and . LPAR short papers(Yogyakarta), volume 13 of EPiC Series in Computing, page 1-6. EasyChair, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christos Alamanos

Denitsa Alamanova

Maria Michaela Alamasi Rott

Reiner Jesse

Franz Jesse

 

Other publications of authors with the same name

Tipi: A TPTP-based theory development environment emphasizing proof analysis. CoRR, (2012)Dependencies in Formal Mathematics, , and . CoRR, (2011)Axiomatizing Jaśkowski's Discussive Logic $$D_2$$ D 2., and . Stud Logica, 106 (6): 1163-1180 (2018)Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools.. CoRR, (2014)A machine-assisted view of paraconsistency.. CoRR, (2013)Some problems with two axiomatizations of discussive logic.. CoRR, (2014)Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar., , and . AISC/MKM/Calculemus, volume 7362 of Lecture Notes in Computer Science, page 1-16. Springer, (2012)Proof rules for the dialogical logic N., and . LPAR short papers(Yogyakarta), volume 13 of EPiC Series in Computing, page 1-6. EasyChair, (2010)Metadata for a wiki of formalized mathematics.. MathWikis@ITP, volume 767 of CEUR Workshop Proceedings, page 2-5. CEUR-WS.org, (2011)Large Formal Wikis: Issues and Solutions., , , and . Calculemus/MKM, volume 6824 of Lecture Notes in Computer Science, page 133-148. Springer, (2011)