Search results for 'John A. Kalman' (try it on Scholar)

24 found
Sort by:
  1. John A. Kalman (1978). A Shortest Single Axiom for the Classical Equivalential Calculus. Notre Dame Journal of Formal Logic 19 (1):141-144.score: 380.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. J. A. Kalman (1983). Condensed Detachment as a Rule of Inference. Studia Logica 42 (4):443 - 451.score: 240.0
    Condensed detachment is usually regarded as a notation, and defined by example. In this paper it is regarded as a rule of inference, and rigorously defined with the help of the Unification Theorem of J. A. Robinson. Historically, however, the invention of condensed detachment by C. A. Meredith preceded Robinson's studies of unification. It is argued that Meredith's ideas deserve recognition in the history of unification, and the possibility that Meredith was influenced, through ukasiewicz, by ideas of Tarski going back (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Miklós Erdélyi-Szabó, László Kálmán & Agi Kurucz (2008). Towards a Natural Language Semantics Without Functors and Operands. Journal of Logic, Language and Information 17 (1):1-17.score: 150.0
    The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretation of simple predicate/argument structures. In our opinion, compositionality presupposes (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. J. A. Kalman (1982). The Two-Property and Condensed Detachment. Studia Logica 41 (2-3):173 - 179.score: 150.0
    In the first part of this paper we indicate how Meredith's condensed detachment may be used to give a new proof of Belnap's theorem that if every axiom x of a calculus S has the two-property that every variable which occurs in x occurs exactly twice in x, then every theorem of S is a substitution instance of a theorem of S which has the two-property. In the remainder of the paper we discuss the use of mechanical theorem-provers, based either (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Calvin S. Kalman & Mark W. Aulls (2003). Can an Analysis of the Contrast Between Pre-Galilean and Newtonian Theoretical Frameworks Help Students Develop a Scientific Mindset. Science and Education 12 (8):761-772.score: 120.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Calvin S. Kalman (2002). Developing Critical Thinking in Undergraduate Courses: A Philosophical Approach. Science and Education 11 (1):83-94.score: 120.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Dale Myers (2002). Kalman John Arnold. Automated Reasoning with Otter. With a Foreword by Larry Wos. Rinton Press, Princeton 2001, Xv+ 536 Pp.+ CD-ROM. [REVIEW] Bulletin of Symbolic Logic 8 (3):428-429.score: 81.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Hildur Kalman (2012). Feelings of Loss and Grieving: Selves Between Autonomy and Dependence. Phaenex 7 (2):1-27.score: 60.0
    A recurrent theme in contemporary narratives of grieving is that there is a gap between the griever’s more or less consciously chosen expression of, and acting out of, grief and loss and other people’s seeming lack of acceptance. Starting from the view that the social context of feelings and emotions are constitutive in making an emotional experience what it is, this article explores what is done and experienced in acts of grief. A phenomenological perspective is applied to analyze the conditioning (...)
    No categories
    Direct download (13 more)  
     
    My bibliography  
     
    Export citation  
  9. Hildur Kalman (2013). Faking Orgasms and the Idea of Successful Sexuality. Janus Head 13 (1):97-118.score: 60.0
    In the Nordic countries, at a time when women have only recently won the right to their own bodies and to a sexuality of their own and for themselves, women nevertheless fake orgasms. Moreover, a .
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Dale Myers (2002). Review: John Arnold Kalman, Automated Reasoning with Otter. [REVIEW] Bulletin of Symbolic Logic 8 (3):428-429.score: 42.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Peter Perkins (1971). Review: J. A. Kalman, Equational Completeness and Families of Sets Closed Under Subtraction. [REVIEW] Journal of Symbolic Logic 36 (1):160-160.score: 42.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Ralph Seifert (1971). Review: H. G. Forder, J. A. Kalman, Implication in Equational Logic. [REVIEW] Journal of Symbolic Logic 36 (1):162-162.score: 42.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Kalman Gabriel (1999). Dear Kalman: Smart, Peculiar, and Outrageous Advice for Life From Famous People to a Kid. Quill.score: 39.0
     
    My bibliography  
     
    Export citation  
  14. Gene F. Rose (1954). Review: Kalman Joseph Cohen, A Remark on Lukasiewicz's "On the Intuitionistic Theory of Deduction.". [REVIEW] Journal of Symbolic Logic 19 (3):217-217.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. José Luis Castiglioni, Renato A. Lewin & Marta Sagastume (2014). On a Definition of a Variety of Monadic ℓ-Groups. Studia Logica 102 (1):67-92.score: 24.0
    In this paper we expand previous results obtained in [2] about the study of categorical equivalence between the category IRL 0 of integral residuated lattices with bottom, which generalize MV-algebras and a category whose objects are called c-differential residuated lattices. The equivalence is given by a functor ${{\mathsf{K}^\bullet}}$ , motivated by an old construction due to J. Kalman, which was studied by Cignoli in [3] in the context of Heyting and Nelson algebras. These results are then specialized to the (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Valeri Goussev (2004). Does the Brain Implement the Kalman Filter? Behavioral and Brain Sciences 27 (3):404-405.score: 21.0
    The Kalman filtering technique is considered as a part of concurrent data-processing techniques also related to detection, parameter evaluation, and identification. The adaptive properties of the filter are discussed as being related to symmetrical brain structures.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Daniel Goldreich & Jonathan Tong (2013). Prediction, Postdiction, and Perceptual Length Contraction: A Bayesian Low-Speed Prior Captures the Cutaneous Rabbit and Related Illusions. Frontiers in Psychology 4.score: 15.0
  18. Rick Grush (2004). The Emulation Theory of Representation: Motor Control, Imagery, and Perception. Behavioral And Brain Sciences 27 (3):377-396.score: 12.0
    The emulation theory of representation is developed and explored as a framework that can revealingly synthesize a wide variety of representational functions of the brain. The framework is based on constructs from control theory (forward models) and signal processing (Kalman filters). The idea is that in addition to simply engaging with the body and environment, the brain constructs neural circuits that act as models of the body and environment. During overt sensorimotor engagement, these models are driven by efference copies (...)
    Direct download (14 more)  
     
    My bibliography  
     
    Export citation  
  19. Rick Grush (2004). Further Explorations of the Empirical and Theoretical Aspects of the Emulation Theory. Behavioral and Brain Sciences 27 (3):425-435.score: 12.0
    The emulation theory of representation articulated in the target article is further explained and explored in this response to commentaries. Major topics include: the irrelevance of equilibrium-point and related models of motor control to the theory; clarification of the particular sense of “representation” which the emulation theory of representation is an account of; the relation between the emulation framework and Kalman filtering; and addressing the empirical data considered to be in conflict with the emulation theory. In addition, I discuss (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Georgi Stojanov & Mark H. Bickhard (2004). Representation: Emulation and Anticipation. Behavioral and Brain Sciences 27 (3):418-418.score: 12.0
    We address the issue of the normativity of representation and how Grush might address it for emulations as constituting representations. We then proceed to several more detailed issues concerning the learning of emulations, a possible empirical counterexample to Grush's model, and the choice of Kalman filters as the form of model-based control.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. J. L. Castiglioni, M. Menni & M. Sagastume (2008). On Some Categories of Involutive Centered Residuated Lattices. Studia Logica 90 (1):93 - 124.score: 12.0
    Motivated by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras we define the functor K • relating integral residuated lattices with 0 (IRL0) with certain involutive residuated lattices. Our work is also based on the results obtained by Cignoli about an adjunction between Heyting and Nelson algebras, which is an enrichment of the basic adjunction between lattices and Kleene algebras. The lifting of the functor to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  22. Charles B. Walter (2004). Sensation and Emulation of Coordinated Actions. Behavioral and Brain Sciences 27 (3):419-420.score: 12.0
    Although the application of the emulation model to the control of simple positioning movements is relatively straightforward, extending the scheme to actions requiring multisegmental, interlimb coordination complicates matters a bit. Special consideration of the demands in this case, both on sensory processing and on the process model (two key elements of the Kalman filter), are discussed.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Kalman J. Kaplan (2012). Obedience and Disobedience/Rebellion in Biblical Versus Greek Narratives: Toward a Biblical Psychology. Filosofia Oggi 35 (3-4):223-236.score: 12.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Kalman J. Kaplan (2009). Towards a Biblical Psychology. Filosofia Oggi 32 (128):279-304.score: 12.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation