Results for 'Mklös Szabö'

470 found
Order:
  1.  75
    Bell inequality and common causal explanation in algebraic quantum field theory.Gábor Hofer-Szabó & Péter Vecsernyés - 2013 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (4):404-416.
    Bell inequalities, understood as constraints between classical conditional probabilities, can be derived from a set of assumptions representing a common causal explanation of classical correlations. A similar derivation, however, is not known for Bell inequalities in algebraic quantum field theories establishing constraints for the expectation of specific linear combinations of projections in a quantum state. In the paper we address the question as to whether a ‘common causal justification’ of these non-classical Bell inequalities is possible. We will show that although (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  67
    Reichenbach’s Common Cause Principle in Algebraic Quantum Field Theory with Locally Finite Degrees of Freedom.Gábor Hofer-Szabó & Péter Vecsernyés - 2012 - Foundations of Physics 42 (2):241-255.
    In the paper it will be shown that Reichenbach’s Weak Common Cause Principle is not valid in algebraic quantum field theory with locally finite degrees of freedom in general. Namely, for any pair of projections A, B supported in spacelike separated double cones ${\mathcal{O}}_{a}$ and ${\mathcal{O}}_{b}$ , respectively, a correlating state can be given for which there is no nontrivial common cause (system) located in the union of the backward light cones of ${\mathcal{O}}_{a}$ and ${\mathcal{O}}_{b}$ and commuting with the both (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3.  65
    Mathematical Facts in a Physicalist Ontology.Laszlo E. Szabo - unknown
    If physicalism is true, everything is physical. In other words, everything supervenes on, or is necessitated by, the physical. Accordingly, if there are logical/mathematical facts, they must be necessitated by the physical facts of the world. The aim of this paper is to clarify what logical/mathematical facts actually are and how these facts can be accommodated in a purely physical world.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4. The Analytic-Continental Debate.Istvan Farago-Szabo - 2009 - Filozofia 64 (2):107-113.
    In 2007, a debate took place between Hungarian representatives of the analytic and continental schools of philosophy. Boldizsár Eszes and János T?zsér concluded their article about the history of analytic philosophy by the claim that the only possible method of philosophising is analytic. Answering on behalf of continental philosophers, Tibor Schwendtner approached the topic from the points of view of the sociology of knowledge and academic politics. Tamás Ullmann also defended continental philosophy, emphasizing that it is not vague or unscientific. (...)
     
    Export citation  
     
    Bookmark  
  5.  65
    Modality in Physics.Gábor Hofer-Szabó, Joanna Luc & Tomasz Placek - 2020 - Foundations of Physics 50 (6):515-521.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  47
    Specificity and what is meant.Zoltán Gendler Szabó - 2024 - Philosophical Studies 181 (11):3181-3189.
    Felicitous underspecification—apparently flawless use of context-sensitive words in contexts where they cannot be assigned unique semantic values—is rather common in ordinary speech. King presents a hypothesis about the mechanism conversational participants employ handling felicitous underspecification, one that fits the rich data he surveys well. I will begin by illustrating how King’s account could be put to use in making sense of what happens in a real life conversation. Then I will point out certain shortcomings of the explanation and offer suggestions (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Perceived Greenwashing: The Effects of Green Marketing on Environmental and Product Perceptions.Szerena Szabo & Jane Webster - 2020 - Journal of Business Ethics 171 (4):719-739.
    Many firms are striving to improve their environmental positions by presenting their environmental efforts to the public. To do so, they are applying green marketing strategies to help gain competitive advantage and appeal to ecologically conscious consumers. However, not all green marketing claims accurately reflect firms’ environmental conduct, and can be viewed as ‘greenwashing’. Greenwashing may not only affect a company’s profitability, but more importantly, result in ethical harm. Therefore, this research extends past greenwashing studies by examining additional influences on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  8. The Compositionality Papers.Zoltán Gendler Szabó - 2004 - Mind 113 (450):340-344.
  9. Reichenbachian Common Cause Systems of Arbitrary Finite Size Exist.Gábor Hofer-Szabó & Miklós Rédei - 2006 - Foundations of Physics 36 (5):745-756.
    A partition $\{C_i\}_{i\in I}$ of a Boolean algebra Ω in a probability measure space (Ω, p) is called a Reichenbachian common cause system for the correlation between a pair A,B of events in Ω if any two elements in the partition behave like a Reichenbachian common cause and its complement; the cardinality of the index set I is called the size of the common cause system. It is shown that given any non-strict correlation in (Ω, p), and given any finite (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  10. On Qualification.Zoltán Gendler Szabó - 2003 - Philosophical Perspectives 17 (1):385-414.
  11.  21
    PBR, Nonreality and Entangled Measurement.Gábor Hofer-Szabó - 2024 - Foundations of Physics 54 (3):1-7.
    In a recent paper, Cabbolet argues that the PBR theorem is nonreal since in the ensemble interpretation of quantum mechanics the entangled measurement used in the derivation of the PBR theorem is nonexisting. However, Cabbolet (1) does not provide any argument for the nonexistence of entangled measurements beyond the incompatibility of the existence of entangled measurements and the existence of $$\psi$$ -epistemic models which we already know from the PBR theorem; and (2) he does not show why it is more (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  36
    Commutativity, Comeasurability, and Contextuality in the Kochen-Specker Arguments.Gábor Hofer-Szabó - 2021 - Philosophy of Science 88 (3):483-510.
    I will argue that Kochen-Specker arguments do not provide an algebraic proof for quantum contextuality since, for the argument to be effective, operators must be uniquely associated with measur...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  34
    Three noncontextual hidden variable models for the Peres-Mermin square.Gábor Hofer-Szabó - 2021 - European Journal for Philosophy of Science 11 (1):1-12.
    I will argue that the Peres-Mermin square does not necessarily rule out a value-definite (deterministic) noncontextual hidden variable model if the operators are not given a physical interpretation satisfying the following two requirements: (i) each operator is uniquely realized by a single physical measurement; (ii) commuting operators are realized by simultaneous measurements. To underpin this claim, I will construct three hidden variable models for three different physical realizations of the Peres-Mermin square: one violating (i), another violating (ii), and a third (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  53
    Semantics Versus Pragmatics.Zoltan Gendler Szabo (ed.) - 2004 - Oxford, GB: Oxford University Press UK.
    Leading scholars in the philosophy of language and theoretical linguistics present brand-new papers on a major topic at the intersection of the two fields, the distinction between semantics and pragmatics. Anyone engaged with this issue in either discipline will find much to reward their attention here. Contributors: Kent Bach, Herman Cappelen, Michael Glanzberg, Jeffrey C. King, Ernie Lepore, Stephen Neale, F. Recanati, Nathan Salmon, Mandy Simons, Scott Soames, Robert J. Stainton, Jason Stanley, Zoltan Gendler Szabo.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  15. Common‐Causes are Not Common Common‐Causes.Gábor Hofer-Szabó, Miklós Rédei & László E. Szabó - 2002 - Philosophy of Science 69 (4):623-636.
    A condition is formulated in terms of the probabilities of two pairs of correlated events in a classical probability space which is necessary for the two correlations to have a single (Reichenbachian) common-cause and it is shown that there exists pairs of correlated events probabilities of which violate the necessary condition. It is concluded that different correlations do not in general have a common common-cause. It is also shown that this conclusion remains valid even if one weakens slightly Reichenbach's definition (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  16.  33
    Decidability of Scott's Model as an Ordered $\mathbb{Q}$-Vectorspace.Miklós Erdélyi-Szabó - 1997 - Journal of Symbolic Logic 62 (3):917-924.
    Let $L = \langle, +, h_q, 1\rangle_{q \in \mathbb{Q}}$ where $\mathbb{Q}$ is the set of rational numbers and $h_q$ is a one-place function symbol corresponding to multiplication by $q$. Then the $L$-theory of Scott's model for intuitionistic analysis is decidable.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  81
    Prospective interpretation.Zoltán Gendler Szabó - 2017 - Philosophical Studies 174 (6):1605-1616.
    Semantic and pragmatic theories tend to deal with context-change in two radically opposing ways. Some view it as theoretically irrelevant, interpreting each sentence relative to the context as it happens to be at the moment of its utterance. Others view it as theoretically fundamental, proposing to view context-change as the very subject-matter of the theory of interpretation. Robert Stalnaker’s book Context steers a middle course between the extremes–to keep the semantics mostly static while letting the pragmatics go mostly dynamic. Within (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  20
    Two concepts of noncontextuality in quantum mechanics.Gábor Hofer-Szabó - 2022 - Studies in History and Philosophy of Science Part A 93 (C):21-29.
  19. Semantic Explanations.Zoltan Gendler Szabo - 2019 - In Ernest Lepore & David Sosa (eds.), Oxford Studies in Philosophy of Language Volume 1. Oxford University Press. pp. 240-275.
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  20.  35
    A categorical equivalence of proofs.Manfred E. Szabo - 1974 - Notre Dame Journal of Formal Logic 15 (2):177-191.
  21. Introduction: Conceivability and possibility.Tamar Szabó Gendler & John Hawthorne - 2002 - In Tamar Gendler & John Hawthorne (eds.), Conceivability and Possibility. New York: Oxford University Press. pp. 1--70.
    To what extent and how is conceivability a guide to possibility? This essay explores general philosophical issues raised by this question, and critically surveys responses to it by Descartes, Hume, Kripke and "two-dimensionalists.".
     
    Export citation  
     
    Bookmark   7 citations  
  22. I—Tamar Szabó Gendler: The Third Horse: On Unendorsed Association and Human Behaviour.Tamar Szabó Gendler - 2014 - Aristotelian Society Supplementary Volume 88 (1):185-218.
    On one standard reading, Plato's works contain at least two distinct views about the structure of the human soul. According to the first, there is a crucial unity to human psychology: there is a dominant faculty that is capable of controlling attention and behaviour in a way that not only produces right action, but also ‘silences’ inclinations to the contrary—at least in idealized circumstances. According to the second, the human soul contains multiple autonomous parts, and although one of them, reason, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  23.  53
    The Loss of Uniqueness.Z. Gendler Szabo - 2005 - Mind 114 (456):1185-1222.
    Philosophers and linguists alike tend to call a semantic theory ‘Russellian’ just in case it assigns to sentences in which definite descriptions occur the truth-conditions Russell did in ‘On Denoting’. This is unfortunate; not all aspects of those particular truth-conditions do explanatory work in Russell's writings. As far as the semantics of descriptions is concerned, the key insights of ‘On Denoting’ are that definite descriptions are not uniformly referring expressions, and that they are scope-bearing elements. Anyone who accepts these two (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  24.  52
    On the concept of Bell's local causality in local classical and quantum theory.Gábor Hofer-Szabó & Péter Vecsernyés - 2015 - Journal of Mathematical Physics 56:032303.
    The aim of this paper is to give a sharp definition of Bell's notion of local causality. To this end, first we unfold a framework, called local physical theory, integrating probabilistic and spatiotemporal concepts. Formulating local causality within this framework and classifying local physical theories by whether they obey local primitive causality---a property rendering the dynamics of the theory causal, we then investigate what is needed for a local physical theory, with or without local primitive causality, to be locally causal. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  8
    Anhang.Arpad Szabo - 1973 - In Anfänge der griechischen Mathematik. Presses Universitaires de France. pp. 455-488.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. On Reichenbach's common cause principle and Reichenbach's notion of common cause.G. Hofer-Szabo - 1999 - British Journal for the Philosophy of Science 50 (3):377-399.
    It is shown that, given any finite set of pairs of random events in a Boolean algebra which are correlated with respect to a fixed probability measure on the algebra, the algebra can be extended in such a way that the extension contains events that can be regarded as common causes of the correlations in the sense of Reichenbach's definition of common cause. It is shown, further, that, given any quantum probability space and any set of commuting events in it (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  27. (1 other version)The Einstein-Podolsky-Rosen Argument and the Bell Inequalities.László E. Szabó - 2007 - Internet Encyclopedia of Philosophy.
    In 1935, Einstein, Podolsky, and Rosen (EPR) published an important paper in which they claimed that the whole formalism of quantum mechanics together with what they called a “Reality Criterion” imply that quantum mechanics cannot be complete. That is, there must exist some elements of reality that are not described by quantum mechanics. They concluded that there must be a more complete description of physical reality involving some hidden variables that can characterize the state of affairs in the world in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  95
    A local hidden variable theory for the GHZ experiment.Laszlo E. Szabo & Arthur Fine - 2002 - Physics Letters A 295:229–240.
    A recent analysis by de Barros and Suppes of experimentally realizable GHZ correlations supports the conclusion that these correlations cannot be explained by introducing local hidden variables. We show, nevertheless, that their analysis does not exclude local hidden variable models in which the inefficiency in the experiment is an effect not only of random errors in the detector equipment, but is also the manifestation of a pre-set, hidden property of the particles ("prism models"). Indeed, we present an explicit prism model (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  29. On Fine's Resolution of the EPR-Bell Problem.László E. Szabó - 2000 - Foundations of Physics 30 (11):1891-1909.
    The aim of this paper is to provide an introduction to Fine's interpretation of quantum mechanics and to show how it can solve the EPR-Bell problem. In the real spin-correlation experiments the detection/emission inefficiency is usually ascribed to independent random detection errors, and treated by the “enhancement hypothesis.” In Fine's interpretation the detection inefficiency is an effect not only of the random errors in the analyzer + detector equipment, but is also the manifestation of a pre-settled (hidden) property of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  30. Bell(δ) Inequalities Derived from Separate Common Causal Explanation of Almost Perfect EPR Anticorrelations.Gábor Hofer-Szabó - 2011 - Foundations of Physics 41 (8):1398-1413.
    It is a well known fact that a common common causal explanation of the EPR scenario which consists in providing a local, non-conspiratorial common common cause system for a set of EPR correlations is excluded by various Bell inequalities. But what if we replace the assumption of a common common cause system by the requirement that each correlation of the set has a local, non-conspiratorial separate common cause system? In the paper we show that this move does not yield a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  38
    Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.Miklós Erdélyi-Szabó - 2000 - Journal of Symbolic Logic 65 (3):1014-1030.
    We show that true first-order arithmetic is interpretable over the real-algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras. From this the undecidability of the structures follows. We also show that Scott's model is equivalent to true second-order arithmetic. In the appendix we argue that undecidability on the language of ordered rings follows from intuitionistically plausible properties of the real numbers.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  32
    An addendum to my paper: "A categorical equivalence of proofs".Manfred E. Szabo - 1976 - Notre Dame Journal of Formal Logic 17 (1):78-78.
  33.  11
    A valószínűség interpretációi.Gábor Szabó - 2013 - [Budapest]: Typotex.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  7
    Ember és jog: jogelméleti tanulmányok.Imre Szabó - 1987 - Budapest: Akadémiai Kiadó.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  19
    Le rôle du Fils dans la création selon Saint Ambroise.François Szabó - 1967 - Augustinianum 7 (2):258-305.
  36.  8
    Le sujet et sa morale: essais de philosophie morale et politique.Tibor Szabó - 2016 - Szeged: Centre Unversitaire Francophone.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  21
    Undecidability of the Real-Algebraic Structure of Scott's Model.Miklós Erdélyi-Szabó - 1998 - Mathematical Logic Quarterly 44 (3):344-348.
    We show that true first-order arithmetic of the positive integers is interpretable over the real-algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  38. (1 other version)Nominalism.Zoltan Szabo - 2003 - In Michael J. Loux & Dean W. Zimmerman (eds.), The Oxford handbook of metaphysics. New York: Oxford University Press.
    …entities? 2. How to be a nominalist 2.1. “Speak with the vulgar …” 2.2. “…think with the learned” 3. Arguments for nominalism 3.1. Intelligibility, physicalism, and economy 3.2. Causal..
     
    Export citation  
     
    Bookmark   7 citations  
  39.  50
    Critical Reflections on Quantum Probability Theory.László Szabó - 2001 - Vienna Circle Institute Yearbook 8:201-219.
    The story of quantum probability theory and quantum logic begins with von Neumann’s recognition1, that quantum mechanics can be regarded as a kind of “probability theory”, if the subspace lattice L of the system’s Hilbert space H plays the role of event algebra and the ‘tr’-s play the role of probability distributions over these events. This idea had been completed in the Gleason theorem 2.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  40. Physicalism Without the Idols of Mathematics.László E. Szabó - 2023 - Foundations of Science:1-20.
    I will argue that the ontological doctrine of physicalism inevitably entails the denial that there is anything conceptual in logic and mathematics. The elements of a formal system, even if they are tagged by suggestive names, are merely meaningless parts of a physically existing machinery, which have nothing to do with concepts, because they have nothing to do with the actual things. The only situation in which they can become meaning-carriers is when they are involved in a physical theory. But (...)
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  41.  94
    The Distinction between Semantics and Pragmatics.Zoltan Gendler Szabo - 2005 - In Ernie Lepore & Barry C. Smith (eds.), The Oxford Handbook of Philosophy of Language. Oxford, England: Oxford University Press. pp. 361--389.
    Semantics is the study of linguistic meaning, or more precisely, the study of the relation between linguistic expressions and their meanings. This article gives a sketch of the distinction between semantics and pragmatics; it is the intention of the rest of this article to make it more precise. It starts by considering three alternative characterizations and explain what the article finds problematic about each of them. This leads to the discussion of utterance interpretation, which situates semantics and pragmatics in a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  42.  4
    Is Fairyland for Everyone? Mapping online discourse on gender debates in Hungary.Hanna Dorottya Szabó - forthcoming - Communications.
    Over the past decade, Hungary has become a noteworthy example of democratic backsliding, marked by a pronounced shift towards conservative values and traditional gender roles within government policies. This trend, centred around Christian principles, has manifested in political campaigns actively opposing LGBTQ+ rights and the challenging of normative family structure. The resultant media campaigns and policy implementations have ignited extensive public discourse on gender and sexuality, prominently visible on social media platforms. This study conducts a qualitative analysis of the online (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  29
    Sequential Measurements and the Kochen–Specker Arguments.Gábor Hofer-Szabó - 2023 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 55 (1):29-42.
    It will be shown that the Peres–Mermin square admits value-definite noncontextual hidden-variable models if the observables associated with the operators can be measured only sequentially but not simultaneously. Namely, sequential measurements allow for noncontextual models in which hidden states update between consecutive measurements. Two recent experiments realizing the Peres–Mermin square by sequential measurements will also be analyzed along with other hidden-variable models accounting for these experiments.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. Descriptions and uniqueness.Zoltán Gendler Szabó - 2000 - Philosophical Studies 101 (1):29-57.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  45. Separate- versus common-common-cause-type derivations of the Bell inequalities.Gábor Hofer-Szabó - 2008 - Synthese 163 (2):199-215.
    Standard derivations of the Bell inequalities assume a common-commoncause-system that is a common screener-off for all correlations and some additional assumptions concerning locality and no-conspiracy. In a recent paper Graßhoff et al., "The British Journal for the Philosophy of Science", 56, 663–680 ) Bell inequalities have been derived via separate common causes assuming perfect correlations between the events. In the paper it will be shown that the assumptions of this separate-common-cause-type derivation of the Bell inequalities in the case of perfect (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  46.  63
    Towards a natural language semantics without functors and operands.Miklós Erdélyi-Szabó, László Kálmán & Agi Kurucz - 2007 - Journal of Logic, Language and Information 17 (1):1-17.
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  2
    Three principles leading to the bell inequalities.Szabó Gábor Hofer - 2016 - Belgrade Philosophical Annual 29:57-66.
    In the paper we compare three principles accounting for correlations, namely Reichenbach's Common Cause Principle, Bell's Local Causality Principle, and Einstein's Reality Criterion and relate them to the Bell inequalities. We show that there are two routes connecting the principles to the Bell inequalities. In case of Reichenbach's Common Cause Principle and Bell's Local Causality Principle one assumes a non-conspiratorial joint common cause for a set of correlations. In case of Einstein's Reality Criterion one assumes strongly non-conspiratorial separate common causes (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  34
    The logic of closed categories.Manfred E. Szabo - 1977 - Notre Dame Journal of Formal Logic 18 (3):441-457.
  49.  7
    A társadalomelmélet alapjai.Tibor Szabó - 2009 - Szeged: SZEK Juhász Gyula Felsőoktatási Kiadó.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  38
    Coherence in cartesian closed categories and the generality of proofs.M. E. Szabo - 1989 - Studia Logica 48 (3):285 - 297.
    We introduce the notion of an alphabetic trace of a cut-free intuitionistic prepositional proof and show that it serves to characterize the equality of arrows in cartesian closed categories. We also show that alphabetic traces improve on the notion of the generality of proofs proposed in the literature. The main theorem of the paper yields a new and considerably simpler solution of the coherence problem for cartesian closed categories than those in [11, 14].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 470