38 found
Order:
  1.  36
    Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry.Thomas Macaulay Ferguson - 2017 - Cham, Switzerland: Springer Verlag.
    This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics. A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges – its effervescence with respect to fields ranging from metaphysics to computer programming – provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain (...)
    No categories
  2. Topic Transparency and Variable Sharing in Weak Relevant Logics.Thomas Macaulay Ferguson & Shay Allen Logan - forthcoming - Erkenntnis:1-28.
    In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We take cues from Franz Berto’s recent work on topic to show an alignment between families of variable sharing properties and responses to the topic transparency of relevant implication and negation. We then introduce and defend novel variable sharing properties stronger than strong depth relevance—which we call cn-relevance and lossless cn-relevance—showing that the properties are satisfied by the weak (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Logics Based on Linear Orders of Contaminating Values.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - Journal of Logic and Computation 29 (5):631–663.
    A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  4. Meaningless Divisions.Damian Szmuc & Thomas Macaulay Ferguson - 2021 - Notre Dame Journal of Formal Logic 62 (3):399-424.
    In this article we revisit a number of disputes regarding significance logics---i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences---that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some notions, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  51
    Subject-matter and intensional operators I: conditional-agnostic analytic implication.Thomas Macaulay Ferguson - 2023 - Philosophical Studies 180 (7):1849-1879.
    Although logical settings are typically concerned with tracking alethic considerations, frameworks exist in which topic-theoretic considerations—e.g., tracking subject-matter or topic—are given equal importance. Intuitions about extending topic through a propositional language are generally straightforward for extensional cases. For a number of reasons, arriving at a compelling account of the subject-matter of intensional operators—such as intensional conditionals—is a more difficult task. In particular, the framework of topic-sensitive intentional modals (TSIMs) championed by Francesco Berto and his collaborators leave the topics of intensional (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6. Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.
    This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  7. Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
    We examine the relationship between the logics of nonsense of Bochvar and Halldén and the containment logics in the neighborhood of William Parry’s A I. We detail two strategies for manufacturing containment logics from nonsense logics—taking either connexive and paraconsistent fragments of such systems—and show how systems determined by these techniques have appeared as Frederick Johnson’s R C and Carlos Oller’s A L. In particular, we prove that Johnson’s system is precisely the intersection of Bochvar’s B 3 and Graham Priest’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  8.  96
    (1 other version)A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.
    The hallmark of the deductive systems known as ‘conceptivist’ or ‘containment’ logics is that for all theorems of the form , all atomic formulae appearing in also appear in . Significantly, as a consequence, the principle of Addition fails. While often billed as a formalisation of Kantian analytic judgements, once semantics were discovered for these systems, the approach was largely discounted as merely the imposition of a syntactic filter on unrelated systems. In this paper, we examine a number of prima (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  9.  68
    Faulty Belnap Computers and Subsystems of FDE.Thomas Macaulay Ferguson - 2016 - Journal of Logic and Computation 26 (5):1617–1636.
    In this article, we consider variations of Nuel Belnap’s ‘artificial reasoner’. In particular, we examine cases in which the artificial reasoner is faulty, e.g. situations in which the reasoner is unable to calculate the value of a formula due to an inability to retrieve the values of its atoms. In the first half of the article, we consider two ways of modelling such circumstances and prove the deductive systems arising from these two types of models to be equivalent to Graham (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  10.  38
    (1 other version)Subject-Matter and Intensional Operators III: State-Sensitive Subject-Matter and Topic Sufficiency.Thomas Macaulay Ferguson - forthcoming - Review of Symbolic Logic:1-27.
    Logical frameworks that are sensitive to features of sentences’ subject-matter—like Berto’s topic-sensitive intentional modals (TSIMs)—demand a maximally faithful model of the topics of sentences. This is an especially difficult task in the case in which topics are assigned to intensional formulae. In two previous papers, a framework was developed whose model of intensional subject-matter could accommodate a wider range of intuitions about particular intensional conditionals. Although resolving a number of counterintuitive features, the work made an implicit assumption that the subject-matter (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson - 2012 - Notre Dame Journal of Formal Logic 53 (1):113-132.
    We here make preliminary investigations into the model theory of DeMorgan logics. We demonstrate that Łoś's Theorem holds with respect to these logics and make some remarks about standard model-theoretic properties in such contexts. More concretely, as a case study we examine the fate of Cantor's Theorem that the classical theory of dense linear orderings without endpoints is $\aleph_{0}$-categorical, and we show that the taking of ultraproducts commutes with respect to previously established methods of constructing nonclassical structures, namely, Priest's Collapsing (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  12. Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
    In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined and employed to pinpoint (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  45
    Negation in Negationless Intuitionistic Mathematics.Thomas Macaulay Ferguson - 2023 - Philosophia Mathematica 31 (1):29-55.
    The mathematician G.F.C. Griss is known for his program of negationless intuitionistic mathematics. Although Griss’s rejection of negation is regarded as characteristic of his philosophy, this is a consequence of an executability requirement that mental constructions presuppose agents’ executing corresponding mental activity. Restoring Griss’s executability requirement to a central role permits a more subtle characterization of the rejection of negation, according to which D. Nelson’s strong constructible negation is compatible with Griss’s principles. This exposes a ‘holographic’ theory of negation in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  27
    From Excluded Middle to Homogenization in Plumwood’s Feminist Critique of Logic.Thomas Macaulay Ferguson - 2023 - Australasian Journal of Logic 20 (2):243-277.
    A key facet of Valerie Plumwood’s feminist critique of logic is her analysis of classical negation. On Plumwood’s reading, the exclusionary features of classical negation generate hierarchical dualisms, i.e., dichotomies in which dominant groups’ primacy is reinforced while underprivileged groups are oppressed. For example, Plumwood identifies the system collapse following from ex contradictione quodlibet—that a theory including both φ and ∼φ trivializes—as a primary source of many of these features. Although Plumwood considers the principle of excluded middle to be compatible (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Modeling the interaction of computer errors by four-valued contaminating logics.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. Folli Publications on Logic, Language and Information. pp. 119-139.
    Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  11
    Introduction.Thomas Macaulay Ferguson & Graham Priest - 2021 - Australasian Journal of Logic 18 (5):132-145.
    This is the introduction to the special issue on Robert K. Meyer and the philosophy of arithmetic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  12
    Secrecy, Content, and Quantification.Thomas Macaulay Ferguson - 2021 - Análisis Filosófico 41 (2):285-302.
    While participating in a symposium on Dave Ripley’s forthcoming book Uncut, I had proposed that employing a strict-tolerant interpretation of the weak Kleene matrices provided a content-theoretical conception of the bounds of conversational norms that enjoyed advantages over Ripley’s use of the strong Kleene matrices. During discussion, I used the case of sentences that are taken to be out-of-bounds for being secrets as an example of a case in which the setting of conversational bounds in practice diverged from the account (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  88
    Graham Priest on Dialetheism and Paraconsistency.Can Başkent & Thomas Macaulay Ferguson (eds.) - 2019 - Cham, Switzerland: Springer Verlag.
    This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest’s research has had a considerable influence on the field of philosophical logic, especially with respect to the themes of dialetheism—the thesis that there exist true but inconsistent sentences—and paraconsistency—an account of deduction in which contradictory premises do not entail (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  32
    Monstrous Content and the Bounds of Discourse.Thomas Macaulay Ferguson - 2022 - Journal of Philosophical Logic 52 (1):111-143.
    Bounds consequence provides an interpretation of a multiple-conclusion consequence relation in which the derivability of a sequent is understood as the claim that it is conversationally out-of-bounds to take a position in which each member of Γ is asserted while each member of Δ is denied. Two of the foremost champions of bounds consequence—Greg Restall and David Ripley—have independently indicated that the shape of the bounds in question is determined by conversational practice. In this paper, I suggest that the standard (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  33
    The Keisler–Shelah theorem for $\mathsf{QmbC}$ through semantical atomization.Thomas Macaulay Ferguson - 2020 - Logic Journal of the IGPL 28 (5):912-935.
    In this paper, we consider some contributions to the model theory of the logic of formal inconsistency $\mathsf{QmbC}$ as a reply to Walter Carnielli, Marcelo Coniglio, Rodrigo Podiacki and Tarcísio Rodrigues’ call for a ‘wider model theory.’ This call demands that we align the practices and techniques of model theory for logics of formal inconsistency as closely as possible with those employed in classical model theory. The key result is a proof that the Keisler–Shelah isomorphism theorem holds for $\mathsf{QmbC}$, i.e. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  33
    Dunn–Priest Quotients of Many-Valued Structures.Thomas Macaulay Ferguson - 2017 - Notre Dame Journal of Formal Logic 58 (2):221-239.
    J. Michael Dunn’s Theorem in 3-Valued Model Theory and Graham Priest’s Collapsing Lemma provide the means of constructing first-order, three-valued structures from classical models while preserving some control over the theories of the ensuing models. The present article introduces a general construction that we call a Dunn–Priest quotient, providing a more general means of constructing models for arbitrary many-valued, first-order logical systems from models of any second system. This technique not only counts Dunn’s and Priest’s techniques as special cases, but (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  85
    Two paradoxes of semantic information.Thomas Macaulay Ferguson - 2015 - Synthese 192 (11):3719-3730.
    Yehoshua Bar-Hillel and Rudolph Carnap’s classical theory of semantic information entails the counterintuitive feature that inconsistent statements convey maximal information. Theories preserving Bar-Hillel and Carnap’s modal intuitions while imposing a veridicality requirement on which statements convey information—such as the theories of Fred Dretske or Luciano Floridi—avoid this commitment, as inconsistent statements are deemed not information-conveying by fiat. This paper produces a pair of paradoxical statements that such “veridical-modal” theories must evaluate as both conveying and not conveying information, although Bar-Hillel and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  37
    Inconsistent Models for Arithmetics with Constructible Falsity.Thomas Macaulay Ferguson - forthcoming - Logic and Logical Philosophy:1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  40
    On Non-Deterministic Quantification.Thomas Macaulay Ferguson - 2014 - Logica Universalis 8 (2):165-191.
    This paper offers a framework for extending Arnon Avron and Iddo Lev’s non-deterministic semantics to quantified predicate logic with the intent of resolving several problems and limitations of Avron and Anna Zamansky’s approach. By employing a broadly Fregean picture of logic, the framework described in this paper has the benefits of permitting quantifiers more general than Walter Carnielli’s distribution quantifiers and yielding a well-behaved model theory. This approach is purely objectual and yields the semantical equivalence of both α-equivalent formulae and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  14
    Introduction to Graham Priest on Dialetheism and Paraconsistency.Thomas Macaulay Ferguson & Can Başkent - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 1-2.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  14
    Variations on the Collapsing Lemma.Thomas Macaulay Ferguson - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 249-270.
    Graham Priest has frequently employed a construction in which a classical first-order model \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {A}$$\end{document} may be collapsed into a three-valued model \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {A}^{\sim }$$\end{document} suitable for interpretations in Priest’s logic of paradox. The source of this construction’s utility is Priest’s Collapsing Lemma, which guarantees that a formula true in the model \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {A}$$\end{document} (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  21
    Topic-Theoretic Extensions of Analytic Implication.Thomas Macaulay Ferguson - 2023 - Notre Dame Journal of Formal Logic 64 (4):471-493.
    Like many intensional logics, William Parry’s logic of analytic implication PAI admits extensions determined by imposing semantic conditions on its account of modality. PAI is unique, however, in its allowing a second dimension—a topic-theoretic dimension—along which extensions can be defined. The recent introduction by Francesco Berto of topic-sensitive intentional modals (TSIMs)—which disagree with PAI on this type of condition—provide further motivations to examine such topic-theoretic extensions. In this paper, we introduce, motivate, and characterize a number of such extensions of PAI, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  24
    Axiom (cc0) and Verifiability in Two Extracanonical Logics of Formal Inconsistency.Thomas Macaulay Ferguson - 2018 - Principia: An International Journal of Epistemology 22 (1):113-138.
    In the field of logics of formal inconsistency, the notion of “consistency” is frequently too broad to draw decisive conclusions with respect to the validity of many theses involving the consistency connective. In this paper, we consider the matter of the axiom 0—i.e., the schema ◦ ◦ϕ—by considering its interpretation in contexts in which “consistency” is understood as a type of verifiability. This paper suggests that such an interpretation is implicit in two extracanonical LFIs—Sören Halldén’s nonsense-logic C and Graham Priest’s (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  34
    Parity, Revelance, and Gentle Explosiveness in the Context of Sylvan's Mate Function.Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):381-406.
    The Routley star, an involutive function between possible worlds or set-ups against which negation is evaluated, is a hallmark feature of Richard Sylvan and Val Plumwood's set-up semantics for the logic of first-degree entailment. Less frequently acknowledged is the weaker mate function described by Sylvan and his collaborators, which results from stripping the requirement of involutivity from the Routley star. Between the mate function and the Routley star, however, lies an broad field of intermediate semantical conditions characterizing an infinite number (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  63
    (1 other version)Correia Semantics Revisited.Thomas Macaulay Ferguson - 2016 - Studia Logica 104 (1):145-173.
    Despite a renewed interest in Richard Angell’s logic of analytic containment ), the first semantics for \ introduced by Fabrice Correia has remained largely unexamined. This paper describes a reasonable approach to Correia semantics by means of a correspondence with a nine-valued semantics for \. The present inquiry employs this correspondence to provide characterizations of a number of propositional logics intermediate between \ and classical logic. In particular, we examine Correia’s purported characterization of classical logic with respect to his semantics, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  28
    Corrigendum: The Keisler—Shelah theorem for QmbC through semantical atomization.Thomas Macaulay Ferguson - 2019 - Logic Journal of the IGPL 27 (6):933-933.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  11
    Episodes in Model-Theoretic Xenology: Rationals as Positive Integers in R#.Thomas Macaulay Ferguson & Elisangela Ramirez-Camara - 2021 - Australasian Journal of Logic 18 (5):428-446.
    Meyer and Mortensen’s Alien Intruder Theorem includes the extraor- dinary observation that the rationals can be extended to a model of the relevant arithmetic R♯, thereby serving as integers themselves. Al- though the mysteriousness of this observation is acknowledged, little is done to explain why such rationals-as-integers exist or how they operate. In this paper, we show that Meyer and Mortensen’s models can be identified with a class of ultraproducts of finite models of R♯, providing insights into some of the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Nonsense and Proscription.Thomas Ferguson & Thomas Macaulay Ferguson - 2017 - In Thomas Macaulay Ferguson (ed.), Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Proc. 44th International Symposium on Multiple-Valued Logic.Thomas Macaulay Ferguson - 2014 - IEEE Computer Society Press.
  35.  16
    Robert Meyer's Publications on Relevant Arithmetic.Thomas Macaulay Ferguson & Graham Priest - 2021 - Australasian Journal of Logic 18 (5):146-149.
    This is a bibliography of R.K. Meyer's published articles on relevant arithmetic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  35
    Remarks on Ontological Dependence in Set Theory.Thomas Macaulay Ferguson - 2016 - Australasian Journal of Logic 13 (3):41-57.
    In a recent paper, John Wigglesworth explicates the notion of a set's being grounded in or ontologically depending on its members by the modal statement that in any world, that a set exists in that world entails that its members exist as well. After suggesting that variable-domain S5 captures an appropriate account of metaphysical necessity, Wigglesworth purports to prove that in any set theory satisfying the axiom Extensionality this condition holds, that is, that sets ontologically depend on their members with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  46
    Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics.Thomas Macaulay Ferguson - 2014 - In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. pp. 121-127.
    This paper examines the relationships between the many-valued logics G~ and Gn~ of Esteva, Godo, Hajek, and Navara, i.e., Godel logic G enriched with Łukasiewicz negation, and neighbors of intuitionistic logic. The popular fragments of Rauszer's Heyting-Brouwer logic HB admit many-valued extensions similar to G which may likewise be enriched with Łukasiewicz negation; the fuzzy extensions of these logics, including HB, are equivalent to G ~, as are their n-valued extensions equivalent to Gn~ for any n ≥ 2. These enriched (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  40
    Andreas Kapsner, Logics and Falsifications. A New Perspective on Constructivist Semantics, Cham: Springer International Publishing, 2014, 217 pp., €103.99 , ISBN 9783319052052. [REVIEW]Thomas Macaulay Ferguson - 2016 - Dialectica 70 (1):119-124.
    Direct download  
     
    Export citation  
     
    Bookmark