Super-Strict Implications

Guido Gherardi; Eugenio Orlandelli

Bulletin of the Section of Logic (2021)

  • Volume: 50, Issue: 1
  • ISSN: 0138-0680

How to cite

top

Guido Gherardi, and Eugenio Orlandelli. "Super-Strict Implications." Bulletin of the Section of Logic 50.1 (2021): null. <http://eudml.org/doc/296789>.

@article{GuidoGherardi2021,
author = {Guido Gherardi, Eugenio Orlandelli},
journal = {Bulletin of the Section of Logic},
keywords = {Strict implication; paradoxes of implication; connexive implication; sequent calculi; structural rules},
number = {1},
pages = {null},
title = {Super-Strict Implications},
url = {http://eudml.org/doc/296789},
volume = {50},
year = {2021},
}

TY - JOUR
AU - Guido Gherardi
AU - Eugenio Orlandelli
TI - Super-Strict Implications
JO - Bulletin of the Section of Logic
PY - 2021
VL - 50
IS - 1
SP - null
KW - Strict implication; paradoxes of implication; connexive implication; sequent calculi; structural rules
UR - http://eudml.org/doc/296789
ER -

References

top
  1. A. R. Anderson, N. Belnap, Entailment. The Logic of Relevance and Necessity, vol. 1, Princeton University Press (1975). 
  2. R. George, Bolzano's consequence, relevance, and enthymemes, Journal of Philosophical Logic, vol. 12 (1983), pp. 299–318, DOI: https://doi.org/10.1007/BF00263480 
  3. J. Y. Halpern, Y. Moses, A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief, Artificial Intelligence, vol. 54(2) (1992), pp. 319–379, DOI: https://doi.org/10.1016/0004-3702(92)90049-4 
  4. J. Heylen, L. Horsten, Strict Conditionals: A Negative Result, The Philosophical Quarterly, vol. 56(225) (2006), pp. 536–549, DOI: https://doi.org/10.1111/j.1467-9213.2006.457.x 
  5. D. Hitchcock, Does the Traditional Treatment of Enthymemes Rest on a Mistake?, Argumentation, vol. 12 (1998), pp. 15–37, DOI: https://doi.org/10.1007/978-3-319-53562-3_5 
  6. C. I. Lewis, Survey of Symbolic Logic, University of California Press (1918). 
  7. D. Lewis, Counterfactuals, Harvard University Press (1975). 
  8. E. J. Lowe, A simplification of the logic of conditionals, Notre Dame Journal of Formal Logic, vol. 24(3) (1983), pp. 357–366, DOI: https://doi.org/10.1305/ndj/1093870380 
  9. E. J. Lowe, The Truth About Counterfactuals, The Philosophical Quarterly, vol. 45(178) (1995), pp. 41–59, DOI: https://doi.org/10.2307/2219847 
  10. S. Negri, Proof Theory for Non-normal Modal Logics: The Neighbourhood Formalism and Basic Results, IfCoLog Journal of Logic and its Applications, vol. 4 (2017), pp. 1241–1286. 
  11. S. Negri, E. Orlandelli, Proof theory for quantified monotone modal logics, Logic journal of the IGPL, vol. 27(4) (2019), p. 478–506, DOI: https://doi.org/10.1093/jigpal/jzz015 
  12. S. Negri, J. von Plato, Proof Analysis, Cambridge University Press (2011). 
  13. E. Nelson, Intensional relations, Mind, vol. 39 (1930), pp. 440–453. 
  14. H. Omori, H. Wansing, Connexive logics. An overview and current trends, Logic and Logical Philosophy, vol. 28(3) (2019), pp. 371–387, DOI: https://doi.org/10.12775/LLP.2019.026 
  15. C. Pizzi, T. Williamson, Strong Boethius' Thesis and Consequential Implication, Journal of Philosophical Logic, vol. 26 (1997), pp. 569–588, DOI: https://doi.org/10.1023/A:1004230028063 
  16. G. Priest, Negation as cancellation and connexive logic, Topoi, vol. 18 (1999), pp. 141–148, DOI: https://doi.org/10.1023/A:1006294205280 
  17. E. Raidl, Strengthened Conditionals, [in:] B. Liao, Y. N. Wáng (eds.), Context, Conict and Reasoning, Springer Singapore (2020), pp. 139–155, DOI: https://doi.org/10.1007/978-981-15-7134-3_11 
  18. H. Rasiowa, An Algebraic Approach to Non-classical Logics, Elsevier (1974). 
  19. R. Routley, V. Routley, Negation and contradiction, Revista Colombiana de Matemáticas, vol. 19 (1985), pp. 201–230. 
  20. R. C. Stalnaker, A Theory of Conditionals, [in:] N. Rescher (ed.), Studies in Logical Theory, Basil Blackwell (1968), pp. 98–112. 
  21. A. S. Troelstra, D. van Dalen, Constructivism in Mathematics, North-Holland (1988). 
  22. M. Vidal, When Conditional Logic met Connexive Logic, [in:] IWCS 2017 - 12th International Conference on Computational Semantics (2017), pp. 1–11, URL: https://www.aclweb.org/anthology/W17-6816 
  23. H. Wansing, D. Skurt, Negation as Cancellation, Connexive Logic, and qLPm, The Australasian Journal of Logic, vol. 15 (2018), pp. 476–488, DOI: https://doi.org/10.26686/ajl.v15i2.4869 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.