Switch to: References

Add citations

You must login to add citations.
  1. Subatomic Negation.Bartosz Więckowski - 2021 - Journal of Logic, Language and Information 30 (1):207-262.
    The operators of first-order logic, including negation, operate on whole formulae. This makes it unsuitable as a tool for the formal analysis of reasoning with non-sentential forms of negation such as predicate term negation. We extend its language with negation operators whose scope is more narrow than an atomic formula. Exploiting the usefulness of subatomic proof-theoretic considerations for the study of subatomic inferential structure, we define intuitionistic subatomic natural deduction systems which have several subatomic operators and an additional operator for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.