Switch to: References

Citations of:

F. full formalization of functional logic

In Introduction to Semantics and Formalization of Logic. Harvard University Press. pp. 407-426 (1959)

Add citations

You must login to add citations.
  1. Failures of Categoricity and Compositionality for Intuitionistic Disjunction.Jack Woods - 2012 - Thought: A Journal of Philosophy 1 (4):281-291.
    I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.
    Download  
     
    Export citation  
     
    Bookmark   3 citations