sixth international
Recently Published Documents


TOTAL DOCUMENTS

1828
(FIVE YEARS 145)

H-INDEX

17
(FIVE YEARS 1)

Author(s):  
Scott Sherrill-Mix ◽  
Michelle Yang ◽  
Grace M Aldrovandi ◽  
Jason Brenchley ◽  
Frederic Bushman ◽  
...  

Author(s):  
Sarah Sigley ◽  
Olaf Beyersdorff

AbstractWe investigate the proof complexity of modal resolution systems developed by Nalon and Dixon (J Algorithms 62(3–4):117–134, 2007) and Nalon et al. (in: Automated reasoning with analytic Tableaux and related methods—24th international conference, (TABLEAUX’15), pp 185–200, 2015), which form the basis of modal theorem proving (Nalon et al., in: Proceedings of the twenty-sixth international joint conference on artificial intelligence (IJCAI’17), pp 4919–4923, 2017). We complement these calculi by a new tighter variant and show that proofs can be efficiently translated between all these variants, meaning that the calculi are equivalent from a proof complexity perspective. We then develop the first lower bound technique for modal resolution using Prover–Delayer games, which can be used to establish “genuine” modal lower bounds for size of dag-like modal resolution proofs. We illustrate the technique by devising a new modal pigeonhole principle, which we demonstrate to require exponential-size proofs in modal resolution. Finally, we compare modal resolution to the modal Frege systems of Hrubeš (Ann Pure Appl Log 157(2–3):194–205, 2009) and obtain a “genuinely” modal separation.


2021 ◽  
Vol 48 (2) ◽  
pp. 281-297
Author(s):  
C. Martín Albaladejo ◽  
F. Carmona Vivar

Using the Sixth International Congress of Entomology (Madrid, 1935) as an example, we present a representative case of science as a social construct and its importance to the history of the winning side of a war to construct a memory that supports its own version of events. The Congress was held prior to the Spanish Civil War (1936–1939); however, the proceedings were not published until 1940. An examination of the proceedings and of archival documents show the exclusion of contributions initially intended for publication, particularly those by Spanish entomologists who were politically aligned with the Second Spanish Republic, the losing side, and who, as a result, suffered reprisals after the military conflict. These documents suggest that their contributions were rejected for reasons unrelated to their scientific investigations but due to the political inclinations of the editor.


Sign in / Sign up

Export Citation Format

Share Document