Search results for 'Invertibility' (try it on Scholar)

7 found
Order:
  1.  9
    Pavel Semenov (1993). On Invertibility in High-Dimensional Clifford Algebras. Foundations of Physics 23 (11):1543-1546.
  2.  9
    Richard W. Eggerman (1972). Invertibility Revisited. Philosophical Studies 23 (6):424 - 426.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  3.  51
    Bredo C. Johnsen (1986). The Inverted Spectrum. Australasian Journal of Philosophy 64 (December):471-6.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  4.  45
    Tom McClelland (2016). Gappiness and the Case for Liberalism About Phenomenal Properties. Philosophical Quarterly:NA.
    Conservatives claim that all phenomenal properties are sensory. Liberals countenance non-sensory phenomenal properties such as what it’s like to perceive some high-level property, and what it’s like to think that p. A hallmark of phenomenal properties is that they present an explanatory gap, so to resolve the dispute we should consider whether experience has non-sensory properties that appear ‘gappy’. The classic tests for ‘gappiness’ are the invertibility test and the zombifiability test. I suggest that these tests (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  32
    Peter Schroeder-Heister (2007). Generalized Definitional Reflection and the Inversion Principle. Logica Universalis 1 (2):355-376.
    . The term inversion principle goes back to Lorenzen who coined it in the early 1950s. It was later used by Prawitz and others to describe the symmetric relationship between introduction and elimination inferences in natural deduction, sometimes also called harmony. In dealing with the invertibility of rules of an arbitrary atomic production system, Lorenzen’s inversion principle has a much wider range than Prawitz’s adaptation to natural deduction. It is closely related to definitional reflection, which is a (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  6.  45
    Petr Cintula & George Metcalfe (2007). Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach. [REVIEW] Archive for Mathematical Logic 46 (5-6):347-363.
    A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to a number of prominent fuzzy logics using hypersequent rules adapted from calculi defined in the literature. In particular, a normal form with simple McNaughton functions as literals is generated for łukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for Gödel logic, Product logic, and Cancellative (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  7.  1
    Martin Otto (1999). Bounded Variable Logics: Two, Three, and More. [REVIEW] Archive for Mathematical Logic 38 (4-5):235-256.
    Consider the bounded variable logics $L^k_{\infty\omega}$ (with k variable symbols), and $C^k_{\infty\omega}$ (with k variables in the presence of counting quantifiers $\exists^{\geq m}$ ). These fragments of infinitary logic $L_{\infty\omega}$ are well known to provide an adequate logical framework for some important issues in finite model theory. This paper deals with a translation that associates equivalence of structures in the k-variable fragments with bisimulation equivalence between derived structures. Apart from a uniform and intuitively appealing treatment of these equivalences, this approach (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography