Results for 'canonical form'

966 found
Order:
  1.  92
    Canonical forms for definable subsets of algebraically closed and real closed valued fields.Jan E. Holly - 1995 - Journal of Symbolic Logic 60 (3):843-860.
    We present a canonical form for definable subsets of algebraically closed valued fields by means of decompositions into sets of a simple form, and do the same for definable subsets of real closed valued fields. Both cases involve discs, forming "Swiss cheeses" in the algebraically closed case, and cuts in the real closed case. As a step in the development, we give a proof for the fact that in "most" valued fields F, if f(x),g(x) ∈ F[ x] (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  19
    More canonical forms and dense free subsets.Heike Mildenberger - 2004 - Annals of Pure and Applied Logic 125 (1-3):75-99.
    Assuming the existence of ω compact cardinals in a model on GCH, we prove the consistency of some new canonization properties on ω. Our aim is to get as dense patterns in the distribution of indiscernibles as possible. We prove Theorem 2.1. thm2.1Suppose the consistency of “ZFC+GCH + there are infinitely many compact cardinals”. Then the following is consistent: ZFC+GCH + and for every family 0 (...))
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  14
    Canonical Forms and Hierarchies in Generalized Recursion Theory.Phokion G. Kolaitis - 1985 - In Anil Nerode & Richard A. Shore, Recursion theory. Providence, R.I.: American Mathematical Society. pp. 42--139.
  4. Single premise post canonical forms defined over one-letter alphabets.Charles E. Hughes - 1974 - Journal of Symbolic Logic 39 (3):489-495.
    In this paper we investigate some families of decision problems associated with a restricted class of Post canonical forms, specifically, those defined over one-letter alphabets whose productions have single premises and contain only one variable. For brevity sake, we call any such form an RPCF (Restricted Post Canonical Form). Constructive proofs are given which show, for any prescribed nonrecursive r.e. many-one degree of unsolvability D, the existence of an RPCF whose word problem is of degree D (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  19
    Laura J. Downing, Canonical forms in prosodic morphology (Oxford Studies in Theoretical Linguistics 12). Oxford: Oxford University Press, 2006. Pp. x+ 284. [REVIEW]Suzanne Urbanczyk - 2008 - Journal of Linguistics 44 (3): 757-762.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  79
    (1 other version)Functional completeness and canonical forms in many-valued logics.William H. Jobe - 1962 - Journal of Symbolic Logic 27 (4):409-422.
  7. Seeing to it that: a canonical form for agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   120 citations  
  8.  62
    (1 other version)Reducibility of formulae of weak second order arithmetic to pseudo-canonical forms.Reinhold Kołodziej - 1974 - Studia Logica 33 (3):131 - 152.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  9.  72
    Reducibility of Formulae of Weak Second Order Arithmetic to Pseudo-Canonical Forms: Parts II, III.Reinhold Kołodziej - 1974 - Studia Logica 33 (3):233-258.
  10. Canonical calculi with (n,k)-ary quantifiers.Arnon Avron - unknown
    Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a connective is introduced and no other connective is mentioned. [2] provides a constructive coherence criterion for the non-triviality of such systems and shows that a system of this kind admits cut-elimination iff it is coherent. The semantics of such systems is provided using two-valued non-deterministic matrices (2Nmatrices). [23] extends these (...)
     
    Export citation  
     
    Bookmark   1 citation  
  11.  80
    William H. Jobe. Functional completeness and canonical forms in many-valued logics. The journal of symbolic logic, vol. 27 no. 4 , pp. 409–422. [REVIEW]Arto Salomaa - 1964 - Journal of Symbolic Logic 29 (3):143-144.
  12.  42
    H. Allen Curtis. A functional canonical form. Journal of the Association for Computing Machinery, vol. 6 , pp. 245–258. - H. Allen Curtis. Multifunctional circuits in functional canonical form. Journal of the Association for Computing Machinery, vol. 6 , pp. 538–547. - H. Allen Curtis. A new approach to the design of switching circuits. D. Van Nostrand Company, Inc., Princeton-Toronto-London-New York, 1962, viii + 635 pp. - R. L. Ashenhurst. The decomposition of switching functions. Therein, pp. 571–602. - Theodore Singer. The decomposition chart as a theoretical aid. Therein, pp. 602–620. [REVIEW]Harold S. Stone - 1972 - Journal of Symbolic Logic 37 (4):760-762.
  13.  43
    Canon as an Act of Creation: Giorgio Agamben and the Extended Logic of the Messianic.Colby Dickinson - 2010 - Bijdragen 71 (2):132-158.
    The ‘messianic’ is one of philosophy’s most appropriated religious terms, yet one apparently now bereft of its historical religious particularity. This essay thus explores a genealogical approach to the ‘messianic’ which might prove helpful in uncovering the reasons for this transformation from the theological to the philosophical, and what role, if any, theology still has in determining the meaning and usage of this term. Accordingly, this essay traces the term through the work of Walter Benjamin, Jacques Derrida and Giorgio Agamben. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  25
    Quasi-canonical systems and their semantics.Arnon Avron - 2018 - Synthese 198 (S22):5353-5371.
    A canonical Gentzen-type system is a system in which every rule has the subformula property, it introduces exactly one occurrence of a connective, and it imposes no restrictions on the contexts of its applications. A larger class of Gentzen-type systems which is also extensively in use is that of quasi-canonical systems. In such systems a special role is given to a unary connective \ of the language. Accordingly, each application of a logical rule in such systems introduces either (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  56
    Particles, Fields and a Canonical Distance Form.A. N. Grigorenko - 2016 - Foundations of Physics 46 (3):382-392.
    We examine a notion of an elementary particle in classical physics and suggest that its existence requires non-trivial homotopy of space-time. We show that non-trivial homotopy may naturally arise for space-times in which metric relations are generated by a canonical distance form factorized by a Weyl field. Some consequences of the presence of a Weyl field are discussed.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  16.  59
    Canon and Cultural Negotiation.Darren Hudson Hick & Craig Derksen - forthcoming - Journal of Aesthetics and Art Criticism.
    By questions of “canon,” we mean questions of what is fictionally true of some character, story, or world. What is canon is treated as authoritative or official, usually by creators and fans alike. But disputes about canon have arisen as storytellers and publishers have sought to capitalize on the popularity of their characters, churning out more and more stories to meet public demand, and at the same time engaging with growing fan bases. As audiences have become more involved, and as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  10
    The complex web of canonical and non‐canonical Hedgehog signaling.Tara Akhshi, Rachel Shannon & William S. Trimble - 2022 - Bioessays 44 (3):2100183.
    Hedgehog (Hh) signaling is a widely studied signaling pathway because of its critical roles during development and in cell homeostasis. Vertebrate canonical and non‐canonical Hh signaling are typically assumed to be distinct and occur in different cellular compartments. While research has primarily focused on the canonical form of Hh signaling and its dependency on primary cilia – microtubule‐based signaling hubs – an extensive list of crucial functions mediated by non‐canonical Hh signaling has emerged. Moreover, amounting (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Canonical property designators.Benjamin Schnieder - 2006 - American Philosophical Quarterly 43 (2):119 - 132.
    The article scrutinises the semantics of canonical property designators of the forms ‘the property of being F’ and ‘F-ness’. First it is argued that, as their form suggests, the former are definite definitions, albeit of a special sort. Secondly, the prima facie plausible classification of the latter as proper names (which is often met in philosophical writings) is rejected. The semantics of such terms is developed and it is shown how its proper understanding yields important consequences about the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  19. Canonical Propositional Gentzen-type Systems.Arnon Avron - 2005 - Proceedings of the 1St International Joint Conference on Automated Reasoning 13:365–387.
    We define the notions of a canonical inference rule and a canonical system in the framework of single-conclusion Gentzen-type systems (or, equivalently, natural deduction systems), and prove that such a canonical system is non-trivial iff it is coherent (where coherence is a constructive condition). Next we develop a general non-deterministic Kripke-style semantics for such systems, and show that every constructive canonical system (i.e. coherent canonical single-conclusion system) induces a class of non-deterministic Kripke-style frames for which (...)
     
    Export citation  
     
    Bookmark   6 citations  
  20.  30
    Between the canon and the Messiah: the structure of faith in contemporary Continental thought.Colby Dickinson - 2013 - New York: Bloomsbury Academic.
    The legacy of an antinomian messianism within a Jewish historical context -- Jacques Derrida and Giorgio Agamben on the processes of messianicity and canonicity -- Conclusions formulated on the basis of part I: recognizing the challenges of a "political theology of immanence" -- The radical hermeneutics of theology -- The "violence" of the canon: a contemporary context for the canonical form -- The necessity of hermeneutics.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Canonical Theology and the Problem of Canon List Diversity.Tyler Dalton McNabb & Randall Price - forthcoming - Journal of Biblical and Theological Studies.
    We take canonical theology, in its most minimal form, to be the normative thesis that the final shape of a canon ought to guide how one interprets the texts contained within the canon. Within the Christian tradition, a standard objection to canonical theology goes something like this: Given the diversity of canon lists, whose canon should we endorse? Should we prefer the Masoretic ordering or the LXX? If the Greek tradition, which Greek tradition? Call this the Problem (...)
     
    Export citation  
     
    Bookmark  
  22.  58
    Canonicity and Completeness Results for Many-Valued Modal Logics.Costas D. Koutras, Christos Nomikos & Pavlos Peppas - 2002 - Journal of Applied Non-Classical Logics 12 (1):7-42.
    We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a Heyting algebra, which serves as the space of truth values, and is interpreted on an interesting version of possible-worlds semantics: the modal frames are directed graphs whose edges are labelled with an element of the underlying Heyting algebra. We introduce interesting generalized forms of the classical axioms D, T, B, 4, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23.  53
    Canonical quantization without conjugate momenta.K. Just & L. S. The - 1986 - Foundations of Physics 16 (11):1127-1141.
    In the traditional form of canonical quantization, certain field components (not having “conjugate” momenta) must be regarded as noncanonical. This long-known distinction enters modern gauge theories, when they are canonically quantized as by Kugo and Ojima. We avoid that peculiarity by not using any conjugate “momenta” at all. In our formulation, canonical quantization can be related to Feynman's path integral.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  27
    Canonical quantization of a nonrelativistic singular quasilinear system.T. Kawai - 1977 - Foundations of Physics 7 (3-4):185-204.
    Following Dirac's generalized canonical formalism, we develop a quantization scheme for theN-dimensional system described by the Lagrangian $L_0 (\dot y,y) = \frac{1}{2}h_{ij} (y)\dot y^i \dot y^j + b_i (y)\dot y^i - w(y)$ which is supposed to be invariant under the gauge transformation $y^i \to y\prime ^i = y^i + (\rho ^i _\alpha + \sigma ^i _{\alpha j} \dot y^j )\delta \Lambda ^\alpha + \tau ^i _\alpha \delta \dot \Lambda ^\alpha$ . The gauge invariance necessarily implies that the Lagrangian is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Canonicity for intensional logics with even axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
    This paper looks at the concept of neighborhood canonicity introduced by BRIAN CHELLAS [2]. We follow the lead of the author's paper [9] where it was shown that every non-iterative logic is neighborhood canonical and here we will show that all logics whose axioms have a simple syntactic form-no intensional operator is in boolean combination with a propositional letter-and which have the finite model property are neighborhood canonical. One consequence of this is that KMcK, the McKinsey logic, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  37
    The Canonical Shape of the Prophetic Literature.Brevard S. Childs - 1978 - Interpretation 32 (1):46-55.
    A major literary and theological force was at work in shaping the present form of the Hebrew Bible by which prophetic oracles directed to one generation were fashioned in Sacred Scripture by a canonical process to be used by another generation.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  48
    Couples, Canons, and the Uncouth: Spenser-and-Milton in Educational Theory.Annabel Patterson - 1990 - Critical Inquiry 16 (4):773-793.
    Among the processes of canon-formation is the habit of coupling writers; and among the most powerful of couples in the traditional English literary canon is Spenser-and-Milton. Much of my own professional life has probably been determined by my first teaching assignment of 1963, which included “Spenser-and-Milton,” in those days at Toronto a famous cornerstone course carrying the tamp of the stamp of the formidable Renaissance scholar A. S. P. Woodhouse, known affectionately if disrespectfully to his students as Professor Nature-and-Grace. For (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  38
    Canon Law, Civil Law, and the Health Care Apostolate.Craig Paterson - 2000 - Catholic Social Science Review 5:267-281.
    This paper provides an overview of the application of canon law to the administration of Catholic heahh care in the United States. It is divided into four sections. The first section provides a context for the role of canon law in the life of the Church. The second section considers the fundamental question of juridic personality in the Church. The third section delineates the predominant forms of organization that have hitherto been the main Church related institutions providing health care. The (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  34
    Canonical bases in excellent classes.Tapani Hyttinen & Olivier Lessmann - 2008 - Journal of Symbolic Logic 73 (1):165-180.
    We show that any (atomic) excellent class K can be expanded with hyperimaginaries to form an (atomic) excellent class Keq which has canonical bases. When K is, in addition, of finite U-rank, then Keq is also simple and has a full canonical bases theorem. This positive situation contrasts starkly with homogeneous model theory for example, where the eq-expansion may fail to be homogeneous. However, this paper shows that expanding an ω-stable, homogeneous class K gives rise to an (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  55
    Canonical structure in the universe of set theory: part one.James Cummings, Matthew Foreman & Menachem Magidor - 2004 - Annals of Pure and Applied Logic 129 (1-3):211-243.
    We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we prove a form of “singular cardinal compactness” for Jensen's square principle. We then study the relationship between internally approachable and tight structures, which parallels to a certain extent the relationship between good and approachable points. In particular we characterise the tight structures in terms of PCF theory and use our characterisation to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  31.  28
    Problems about the Canon in Teaching Philosophy in Colombia.Manuel Prada Londoño & Fredy H. Prieto - 2023 - Études Ricoeuriennes / Ricoeur Studies 14 (2):23-40.
    This text is focused on the question of what we should teach in high school philosophy and the relationship of this teaching to recognizing oneself as a good philosophy teacher. We hold that these points are connected to the idea of “canon” and “history of philosophy” that we gained with and despite Ricœur himself. This paper advances a critical view of contemporary practices in philosophy teaching in Colombia through Ricœur’s thought. In the first part, we follow Ricœur’s considerations about the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  67
    Canons and Values in the Visual Arts: A Correspondence.E. H. Gombrich & Quentin Bell - 1976 - Critical Inquiry 2 (3):395-410.
    [E.H. Gombrich wrote on May 13, 1975:] . . . I recently was invited to talk about "Art" at the Institution for Education of our University. There was a well-intentioned teacher there who put forward the view that we had no right whatever to influence the likes and dislikes of our pupils because every generation had a different outlook and we could not possibly tell what theirs would be. It is the same extreme relativism, which has invaded our art schools (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  49
    Canon and Power in the Hebrew Scriptures.Gerald L. Bruns - 1984 - Critical Inquiry 10 (3):462-480.
    Thus it would not be the content or meaning of a written Torah that Jeremiah would attack; rather it would be the Deuteronomic “claim to final and exclusive authority by means of writing” . Jeremiah’s problem is political rather than theological. He knows that writing is more powerful than prophecy and that he will not be able to withstand it—and he knows that the Deuteronomists know no less. As Blenkinsopp says, “Deuteronomy produced a situation in which prophecy could not continue (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  28
    The influence of canon law on ius commune in its formative period.Sami Mehmeti - 2015 - Seeu Review 11 (2):153-164.
    In the Medieval period, Roman law and canon law formed ius commune or the common European law. The similarity between Roman and canon law was that they used the same methods and the difference was that they relied on different authoritative texts. In their works canonists and civilists combined the ancient Greek achievements in philosophy with the Roman achievements in the field of law. Canonists were the first who carried out research on the distinctions between various legal sources and systematized (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  68
    Relativistic classical mechanics and canonical formalism.W. -H. Steeb & David E. Miller - 1982 - Foundations of Physics 12 (5):531-542.
    The analysis of interacting relativistic many-particle systems provides a theoretical basis for further work in many diverse fields of physics. After a discussion of the nonrelativisticN-particle systems we describe two approaches for obtaining the canonical equations of the corresponding relativistic forms. A further aspect of our approach is the consideration of the constants of the motion.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  58
    Finite models constructed from canonical formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.
    This paper obtains the weak completeness and decidability results for standard systems of modal logic using models built from formulas themselves. This line of work began with Fine (Notre Dame J. Form. Log. 16:229-237, 1975). There are two ways in which our work advances on that paper: First, the definition of our models is mainly based on the relation Kozen and Parikh used in their proof of the completeness of PDL, see (Theor. Comp. Sci. 113-118, 1981). The point is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  37. Gδ‐pieces of canonical partitions of G‐spaces.Barbara Majcher-Iwanow - 2005 - Mathematical Logic Quarterly 51 (5):450-461.
    Generalizing model companions from model theory we define companions of pieces of canonical partitions of Polish G-spaces. This unifies several constructions from logic. The central problem of the paper is the existence of companions which form a G-orbit which is a Gδ-set. We describe companions of some typical G-spaces.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  66
    The Bible Canon and the Christian Doctrine of Inspiration.Albert C. Sundberg - 1975 - Interpretation 29 (4):352-371.
    In forming the canon, the church acknowledged and established the Bible as the measure or standard of inspiration in the church, not as the totality of it. What concurs with canon is of like inspiration ; what does not is not of God.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Morgan’s Canon Revisited.Sean Allen-Hermanson - 2005 - Philosophy of Science 72 (4):608-31.
    The famous ethological maxim known as “Morgan’s Canon” continues to be the subject of interpretive controversy. I reconsider Morgan’s canon in light of two questions: First, what did Morgan intend? Second, is this, or perhaps some re-interpretation of the canon, useful within cognitive ethology? As for the first issue, Morgan’s distinction between higher and lower faculties is suggestive of an early supervenience concept. As for the second, both the canon in its original form, and various recent re-readings, offer nothing (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  40.  63
    Loose Canons: The Epistemic Problems of Scriptural Testimony.Asha Lancaster-Thomas - 2022 - Essays in Philosophy.
    In Abrahamic theism scripture is essential to belief-forming, yet scripture as an epistemic evidence source is plagued with difficulties. In the following article, I argue for a specific reductionist model of scriptural proposition justification utilising an account of scripture as testimony. I contend that for an individual to be justified in a belief sourced from a scriptural proposition, she must appeal to external evidence to “prop up her epistemic bar.” Accordingly, I consider some potential “epistemic bar-proppers.”.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  22
    The Canonical Conundrum of 2065.Joseph L. Jones - 2023 - Political Theory 51 (1):126-133.
    This essay is part of a special issue celebrating 50 years of Political Theory. The ambition of the editors was to mark this half-century not with a retrospective but with a confabulation of futures. Contributors were asked: What will political theory look and sound like in the next century and beyond? What claims might political theorists or their descendants be making in ten, twenty-five, fifty, a hundred years’ time? How might they vindicate those claims in their future contexts? How will (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  44
    Matrices of Genre: Authors, Canons, and Society (review).Paul Allen Miller - 2002 - American Journal of Philology 123 (1):119-122.
    In lieu of an abstract, here is a brief excerpt of the content:American Journal of Philology 123.1 (2002) 119-122 [Access article in PDF] Mary Depew and Dirk Obbink, eds. Matrices of Genre: Authors, Canons, and Society. Center for Hellenic Studies Colloquia 4. Cambridge, Mass.: Harvard University Press, 2000. vi + 346 pp. Cloth, $50. The present collection of essays, which originated as a colloquium at the Center for Hellenic Studies, starts, in the words of editor and organizer Dirk Obbink, from (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  43.  53
    Introduction: Rereading the Canon.Ann A. Pang-White - 2016 - In Bloomsbury Research Handbook of Chinese Philosophy and Gender. New York: Bloomsbury Academic. pp. 1-21.
    The Introductory chapter explains the purpose of the book. To this aim, the chapter contains four subsections: (1)Bring the Past Into the Present, (2)Multiculturalism and Liberal Feminism: Is the Rift Between Them Necessary?, (3)Development of Gender Discourse in Chinese Culture and Thought, (4)Purpose of This Volume and Its Four Main Parts, and (5) What's Next? A Way Forward. Excerpt: "Chinese philosophy, broadly construed, in its varied roots and forms has approximately three thousand years of history, and it continues to exert (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  39
    On definable Galois groups and the strong canonical base property.Daniel Palacín & Anand Pillay - 2017 - Journal of Mathematical Logic 17 (1):1750002.
    In [E. Hrushovski, D. Palacín and A. Pillay, On the canonical base property, Selecta Math. (N.S.) 19(4) (2013) 865–877], Hrushovski and the authors proved, in a certain finite rank environment, that rigidity of definable Galois groups implies that [Formula: see text] has the canonical base property in a strong form; “internality to” being replaced by “algebraicity in”. In the current paper, we give a reasonably robust definition of the “strong canonical base property” in a rather more (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.Arnon Avron & Anna Zamansky - unknown
    An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of Gentzen-type systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a quantifier is introduced. The semantics for these systems is provided using two-valued non-deterministic matrices, a generalization of the classical matrix. In this paper we use a constructive syntactic criterion (...)
     
    Export citation  
     
    Bookmark  
  46.  34
    The Cnidarian and the Canon: the role of Wnt/β‐catenin signaling in the evolution of metazoan embryos.Alex Primus & Gary Freeman - 2004 - Bioessays 26 (5):474-478.
    In a recent publication, Wikramanayake and colleagues have implicated the canonical Wnt/β-catenin signaling pathway as a mediator of axial polarity and germ-layer specification in embryos of the cnidarian Nematostella.1 In this anthozoan, β-catenin is localized in nuclei of blastomeres in one region of the 16- to 32-cell embryo whose descendants subsequently form the entoderm of the embryo. They claim that the pattern of nuclear localization is significant for two reasons: (1) when nuclear localization of β-catenin was inhibited, gastrulation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. A dilemma for the emergence of spacetime in canonical quantum gravity.Vincent Lam & Michael Esfeld - 2012 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (3):286-293.
    The procedures of canonical quantization of the gravitational field apparently lead to entities for which any interpretation in terms of spatio-temporal localization or spatio-temporal extension seems difficult. This fact is the main ground for the suggestion that can often be found in the physics literature on canonical quantum gravity according to which spacetime may not be fundamental in some sense. This paper aims to investigate this radical suggestion from an ontologically serious point of view in the cases of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  48.  47
    The Ideology of Canon-Formation: T. S. Eliot and Cleanth Brooks.John Guillory - 1983 - Critical Inquiry 10 (1):173-198.
    Nostalgia is only the beginning of a recognizably ideological discourse. The way through to the ideological sense of Tennyson’s “failure,” beneath the phenomenal glow of Eliot’s nostalgia, lies in the entanglement of minority in this complex of meanings, the determination that Tennyson is properly placed when seen as a “minor Virgil.” The diffusion of a major talent in minor works suggests that what Tennyson or Eliot might have been was another Virgil, and for Eliot that means simply a “classic.” In (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  62
    The Primary Canon: A Critical Review.Jackie Marsh - 2004 - British Journal of Educational Studies 52 (3):249-262.
    This paper argues that the existence of a canon of established and privileged texts in the primary literacy curriculum in England can be traced historically and has informed current national policy and practice. This canonisation of a particular set of literature has served to marginalise popular cultural and media texts, often the preferred texts of children in contemporary society. The paper examines the historical development of an established, hegemonic body of texts and critically analyses current national curricula frameworks for primary (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  48
    General quantum mechanical canonical point transformations.Norman M. Witriol - 1975 - Foundations of Physics 5 (4):591-605.
    Problems related to the operator form of the generalized canonical momenta in quantum mechanics are resolved by use of the general quantum mechanical canonical point transformation method. This method can be applied to any general canonical point transformation irrespective of the relationship between the domains of the original and transformed variables. The differential representation of the original canonical momenta pi in the original coordinate space is −i $\begin{array}{*{20}c} / \\ h \\ \end{array}$ ∂/∂x i and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 966