Proofs of some Propositions of the semi-Intuitionistic Logic with Strong Negation

We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.Comment: Contains proofs omitted, because of their extention, from an article published in Studia Logic

Supplementary File 9

Supplementary File 9. Methods and results for time-dependent diversification analyse

Supplementary File 6

Supplementary File 6. Climatic distribution for all squamate species analyzed in this study

Supplementary File 5

Supplementary File 5. Raw and logit-transformed data for strict proportions of microhabitat use and climatic distribution for 505 squamate gener

Supplementary File 4

Supplementary File 4. Raw and logit-transformed data for proportional and strict proportions of microhabitat use for 72 squamate families

Supplementary File 7

Supplementary File 7. Proportional climatic distributions of species in 72 squamate families

Supplementary File 3

Supplementary File 3. Microhabitat data for all squamate species included in this study, including references

Supplementary File 8

Supplementary File 8. Microhabitat data for the MuSSE analyse

Supplementary File 2

Supplementary File 2. Species richness, clade ages, and stem and crown diversification rates for 505 genera of squamates