Logic and Philosophy of Logic

Edited by Aleksandra Samonek (Université Catholique de Louvain, Jagiellonian University, Catholic University of Louvain)
Assistant editor: Sadegh Balal Niaki (University of Western Ontario)
231 found
Order:
1 — 50 / 231
  1. added 2019-08-22
    Large Cardinals Beyond Choice.Joan Bagaria, Peter Koellner & W. Hugh Woodin - forthcoming - Bulletin of Symbolic Logic:1-57.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2019-08-22
    Computable Aspects of the Bachmann-Howard Principle.Anton Freund - forthcoming - Journal of Mathematical Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. added 2019-08-22
    Exponential Constructible Functions in P-Minimal Structures.Saskia Chambille, Pablo Cubides Kovacsics & Eva Leenknegt - forthcoming - Journal of Mathematical Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. added 2019-08-22
    Another Plan for Negation.Nissim Francez - 2019 - Australasian Journal of Logic 16 (5):159.
    The paper presents a plan for negation, proposing a paradigm shift from the Australian plan for negation, leading to a family of contra-classical logics. The two main ideas are the following: Instead of shifting points of evaluation, shift the evaluated formula. Introduce an incompatibility set for every atomic formula, extended to any compound formula, and impose the condition on valuations that a formula evaluates to true iff all the formulas in its incompatibility set evaluate to false. Thus, atomic sentences are (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. added 2019-08-21
    Justification Logic with Confidence.Ted Shear & John Quiggin - forthcoming - Studia Logica:1-28.
    Justification logics are a family of modal logics whose non-normal modalities are parametrised by a type-theoretic calculus of terms. The first justification logic was developed by Sergei Artemov to provide an explicit modal logic for arithmetical provability in which these terms were taken to pick out proofs. But, justification logics have been given various other interpretations as well. In this paper, we will rely on an interpretation in which the modality \ is read ‘S accepts \ as justification for \’. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. added 2019-08-21
    Discrete Metric Spaces: Structure, Enumeration, and 0-1 Laws.Dhruv Mubayi & Caroline Terry - forthcoming - Journal of Symbolic Logic:1-33.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. added 2019-08-21
    A Critical Examination of the Historical Origins of Connexive Logic.Wolfgang Lenzen - forthcoming - History and Philosophy of Logic:1-20.
    It is often assumed that Aristotle, Boethius, Chrysippus, and other ancient logicians advocated a connexive conception of implication according to which no proposition entails, or is entailed by, i...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. added 2019-08-21
    Recognizing Argument Types and Adding Missing Reasons.Christoph Lumer - 2019 - Proceedings of the Ninth Conference of the International Society for the Study of Argumentation (ISSA). [Amsterdam, July 3-6, 2018.].
    The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), heuristics are proposed for finding missing (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. added 2019-08-21
    Edgar Morscher: Die wissenschaftliche Definition. [REVIEW]Moritz Cordes - 2018 - Zeitschrift für Philosophische Forschung 72:443-446.
  10. added 2019-08-21
    Freges Urteilslehre. Ein in der Logik vergessenes Lehrstück der Analytischen Philosophie.Moritz Cordes - 2014 - XXIII. Kongress der Deutschen Gesellschaft Für Philosophie 28. September - 2. Oktober 2014.
    Frege's philosophy of language includes detailed views on judgments. His formal logic - the Begriffsschrift - documents some of these views in the introduction and treatment of the judgment stroke. In current logic such an expression is either entirely ignored or, appearing as turnstile, plays an fundamentally different role. In this paper I put forward four claims: (i) Considering Frege's Begriffsschrift, it is methodologically palpable why the judgment stroke was omitted in nearly all logical systems developed after Frege. (ii) The (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. added 2019-08-19
    A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 2 (48):81-97.
    This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. added 2019-08-18
    Alethic Reference.Lavinia Picollo - forthcoming - Journal of Philosophical Logic:1-22.
    I put forward precise and appealing notions of reference, self-reference, and well-foundedness for sentences of the language of first-order Peano arithmetic extended with a truth predicate. These notions are intended to play a central role in the study of the reference patterns that underlie expressions leading to semantic paradox and, thus, in the construction of philosophically well-motivated semantic theories of truth.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. added 2019-08-18
    Formalizing Kant's Rules: A Logic of Conditional Imperatives and Permissives.Richard Evans, Andrew Stephenson & Marek Sergot - forthcoming - Journal of Philosophical Logic.
    This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. added 2019-08-17
    Lyndon Interpolation Theorem of Instantial Neighborhood Logic - Constructively Via a Sequent Calculus.Junhua Yu - forthcoming - Annals of Pure and Applied Logic:102721.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. added 2019-08-17
    Ordinal Analyses for Monotone and Cofinal Transfinite Inductions.Kentaro Sato - forthcoming - Archive for Mathematical Logic:1-15.
    We consider two variants of transfinite induction, one with monotonicity assumption on the predicate and one with the induction hypothesis only for cofinally many below. The latter can be seen as a transfinite analogue of the successor induction, while the usual transfinite induction is that of cumulative induction. We calculate the supremum of ordinals along which these schemata for \ formulae are provable in \. It is shown to be larger than the proof-theoretic ordinal \ by power of base 2. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. added 2019-08-15
    The Elimination of Atomic Cuts and the Semishortening Property for Gentzen’s Sequent Calculus with Equality.F. Parlamento & F. Previale - forthcoming - Review of Symbolic Logic:1-32.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. added 2019-08-14
    Cut Elimination in Hypersequent Calculus for Some Logics of Linear Time.Andrzej Indrzejczak - forthcoming - Review of Symbolic Logic:1-20.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. added 2019-08-14
    End of the Square?Fabien Schang - forthcoming - South American Journal of Logic.
    It has been recently argued that the well-known square of opposition is a gathering that can be reduced to a one-dimensional figure, an ordered line segment of positive and negative integers [3]. However, one-dimensionality leads to some difficulties once the structure of opposed terms extends to more complex sets. An alternative algebraic semantics is proposed to solve the problem of dimensionality in a systematic way, namely: partition (or bitstring) semantics. Finally, an alternative geometry yields a new and unique pattern of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. added 2019-08-14
    On Morita Equivalence and Interpretability.Paul Anh Mceldowney - forthcoming - Review of Symbolic Logic:1-28.
    In a recent article, Barrett & Halvorson define a notion of equivalence for first-order theories, which they call “Morita equivalence.” To argue that Morita equivalence is a reasonable measure of “theoretical equivalence,” they make use of the claim that Morita extensions “say no more” than the theories they are extending. The goal of this article is to challenge this central claim by raising objections to their argument for it and by showing why there is good reason to think that the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. added 2019-08-14
    Axiomatic and Dual Systems for Constructive Necessity, a Formally Verified Equivalence.Lourdes del Carmen González-Huesca, Favio E. Miranda-Perea & P. Selene Linares-Arévalo - 2019 - Journal of Applied Non-Classical Logics 29 (3):255-287.
    ABSTRACTWe present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from...
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21. added 2019-08-13
    Aristotle in Prussian Gymnasiums: Why the Texts of the Ancient Philosopher Became Popular for Teaching Logic.Maxim Demin - forthcoming - History and Philosophy of Logic:1-15.
    During the nineteenth century, German philosophy developed from a type of general knowledge to an academic discipline at the university. Changes across disciplines to the philosophy of science and...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22. added 2019-08-13
    A Survey of Logical Realism.Tuomas E. Tahko - forthcoming - Synthese.
    Logical realism is a view about the metaphysical status of logic. Common to most if not all the views captured by the label ‘logical realism’ is that logical facts are mind- and language-independent. But that does not tell us anything about the nature of logical facts or about our epistemic access to them. The goal of this paper is to outline and systematize the different ways that logical realism could be entertained and to examine some of the challenges that these (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. added 2019-08-13
    A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics.Antonio Lieto & Gian Luca Pozzato - 2019 - Journal of Experimental and Theoretical Artificial Intelligence:1-39.
    We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  24. added 2019-08-13
    Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. London: College Publications. pp. 197-210.
    We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. added 2019-08-12
    Binding, Compositionality, and Semantic Values.Michael Glanzberg & Jeffrey C. King - forthcoming - Philosophers' Imprint.
    In this paper, we defend a traditional approach to semantics, that holds that the outputs of compositional semantics are propositional, i.e. truth conditions (or anything else appropriate to be the objects of assertions or the contents of attitudes). Though traditional, this view has been challenged on a number of fronts over the years. Since classic work of Lewis, arguments have been offered which purport to show that semantic composition requires values that are relativized, e.g. to times, or other parameters that (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. added 2019-08-12
    La logica del riconoscimento ontologico in Charles S. Peirce.Marco Stango - 2015 - In Massimo A. Bonfantini, Rossella Fabbrichesi & Salvatore Zingale (eds.), Su Peirce. Milan, Metropolitan City of Milan, Italy: pp. 91-106.
  27. added 2019-08-11
    Corrigendum to “Model-Completions for Abelian Lattice-Ordered Groups with Finitely Many Disjoint Elements” [Ann. Pure Appl. Logic 170 673–698]. [REVIEW]Philip Scowcroft - forthcoming - Annals of Pure and Applied Logic:102720.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. added 2019-08-10
    $$Hbox {Venn}{I{O1}}$$: A Diagram System for Universe Without Boundary.Reetu Bhattacharjee, Mihir Kr Chakraborty & Lopamudra Choudhury - forthcoming - Logica Universalis:1-58.
    A new diagram system \ where properties are fundamental and an object exists only w.r.t a property is presented. This work modifies both in syntax and semantics the system \ proposed by Choudhury and Chakraborty to picturise and address issues connected with open universe. Semantics for the current system is given. Soundness and completeness w.r.t the semantics are established.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. added 2019-08-10
    $$\Hbox {Venn}{I{O1}}$$ Venn I o 1 : A Diagram System for Universe Without Boundary.Reetu Bhattacharjee, Mihir Kr Chakraborty & Lopamudra Choudhury - forthcoming - Logica Universalis.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. added 2019-08-08
    Modelling Last-Act Attempted Crime in Criminal Law.Jiraporn Pooksook, Phan Minh Dung, Ken Satoh & Giovanni Sartor - forthcoming - Journal of Applied Non-Classical Logics:1-31.
    ABSTRACTIn the court of law, a person can be punished for attempting to commit a crime. An open issue in the study of Artificial Intelligence and Law is whether the law of attempts could be formall...
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31. added 2019-08-08
    Proof Theory for Quantified Monotone Modal Logics.Sara Negri & Eugenio Orlandelli - 2019 - Logic Journal of the IGPL 27 (4):478-506.
    This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces labelled sequent calculi based on neighbourhood semantics for the first-order extension, with both varying and constant domains, of monotone NNML, and studies the role of the Barcan formulas in these calculi. It will be shown that the calculi introduced have good structural properties: invertibility of the rules, height-preserving admissibility of weakening and contraction and syntactic cut elimination. It will also be shown that each of the calculi introduced (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. added 2019-08-06
    Strong Density of Definable Types and Closed Ordered Differential Fields.Quentin Brouette, Pablo Cubides Kovacsics & Françoise Point - forthcoming - Journal of Symbolic Logic:1-19.
    The following strong form of density of definable types is introduced for theories T admitting a fibered dimension function d: given a model M of T and a definable set X ⊆ M n, there is a definable type p in X, definable over a code for X and of the same d-dimension as X. Both o-minimal theories and the theory of closed ordered differential fields are shown to have this property. As an application, we derive a new proof of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. added 2019-08-06
    Two Proofs of the Algebraic Completeness Theorem for Multilattice Logic.Oleg Grigoriev & Yaroslav Petrukhin - forthcoming - Journal of Applied Non-Classical Logics:1-24.
    Shramko [. Truth, falsehood, information and beyond: The American plan generalized. In K. Bimbo, J. Michael Dunn on information based logics, outstanding contributions to logic...
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. added 2019-08-06
    Truthmaker Semantics for Relevant Logic.Mark Jago - forthcoming - Journal of Philosophical Logic.
    I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  35. added 2019-08-06
    The Dp-Rank of Abelian Groups.Yatir Halevi & Daniel Palacín - forthcoming - Journal of Symbolic Logic:1-30.
    An equation to compute the dp-rank of any abelian group is given. It is also shown that its dp-rank, or more generally that of any one-based group, agrees with its Vapnik–Chervonenkis density. Furthermore, strong abelian groups are characterised to be precisely those abelian groups A such that there are only finitely many primes p such that the group A / pA is infinite and for every prime p, there are only finitely many natural numbers n such that $\left[p]/\left[p]$ is infinite. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. added 2019-08-06
    Belnap-Dunn Semantics for Natural Implicative Expansions of Kleene's Strong Three-Valued Matrix II. Only One Designated Value.Gemma Robles, Francisco Salto & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (3):307-325.
    ABSTRACTThis paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semant...
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  37. added 2019-08-05
    Proof Theory for Positive Logic with Weak Negation.Marta Bílková & Almudena Colacito - forthcoming - Studia Logica:1-38.
    Proof-theoretic methods are developed for subsystems of Johansson’s logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is proved, and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. added 2019-08-03
    The Large Structures of Grothendieck Founded on Finite Order Arithmetic.Colin Mclarty - forthcoming - Review of Symbolic Logic:1-30.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. added 2019-08-03
    Raymond Smullyan, A Beginner’s Further Guide to Mathematical Logic.Morten Heine Sørensen - forthcoming - Studia Logica:1-3.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. added 2019-08-02
    A Note on Strong Axiomatization of Gödel Justification Logic.Nicholas Pischke - forthcoming - Studia Logica:1-38.
    Justification logics are special kinds of modal logics which provide a framework for reasoning about epistemic justifications. For this, they extend classical boolean propositional logic by a family of necessity-style modal operators “t : ”, indexed over t by a corresponding set of justification terms, which thus explicitly encode the justification for the necessity assertion in the syntax. With these operators, one can therefore not only reason about modal effects on propositions but also about dynamics inside the justifications themselves. We (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. added 2019-08-02
    The Rhyme That Remains: Populist Poetics.Virgil W. Brower - 2012 - Everyday Genius 6 (21):61-81.
  42. added 2019-08-01
    A Proof-Search System for the Logic of Likelihood.R. Alonderis & H. Giedra - forthcoming - Logic Journal of the IGPL.
    The cut-free Gentzen-type sequent calculus LLK for the logic of likelihood is introduced in the paper. It is proved that the calculus is sound and complete for LL. Using the introduced calculus LLK, a decision procedure for LL is presented.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. added 2019-08-01
    Proof-Theoretic Strengths of the Well-Ordering Principles.Toshiyasu Arai - forthcoming - Archive for Mathematical Logic:1-19.
    In this note the proof-theoretic ordinal of the well-ordering principle for the normal functions \ on ordinals is shown to be equal to the least fixed point of \. Moreover corrections to the previous paper are made.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. added 2019-07-30
    Frege on Referentiality and Julius Caesar in Grundgesetze §10.Bruno Bentzen - forthcoming - Notre Dame Journal of Formal Logic.
    This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for value-ranges. It (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  45. added 2019-07-29
    Elementary Iterated Revision and the Levi Identity.Jake Chandler & Richard Booth - forthcoming - In Proceedings of the 7th International Conference on Logic, Rationality and Interaction (LORI 2019).
    Recent work has considered the problem of extending to the case of iterated belief change the so-called `Harper Identity' (HI), which defines single-shot contraction in terms of single-shot revision. The present paper considers the prospects of providing a similar extension of the Levi Identity (LI), in which the direction of definition runs the other way. We restrict our attention here to the three classic iterated revision operators--natural, restrained and lexicographic, for which we provide here the first collective characterisation in the (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. added 2019-07-29
    A New Game Equivalence, its Logic and Algebra.Sebastian Enqvist, Nick Bezhanishvili & Johan Benthem - 2019 - Journal of Philosophical Logic 48 (4):649-684.
    We present a new notion of game equivalence that captures basic powers of interacting players. We provide a representation theorem, a complete logic, and a new game algebra for basic powers. In doing so, we establish connections with imperfect information games and epistemic logic. We also identify some new open problems concerning logic and games.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  47. added 2019-07-28
    Separating the Fan Theorem and Its Weakenings II.Robert S. Lubarsky - forthcoming - Journal of Symbolic Logic:1-28.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. added 2019-07-28
    Creatures and Cardinals.Lukas Daniel Klausner - 2019 - Bulletin of Symbolic Logic 25 (2):218-219.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. added 2019-07-28
    Self-Similarity in the Foundations.Paul K. Gorbow - 2019 - Bulletin of Symbolic Logic 25 (2):216-217.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. added 2019-07-28
    Self-Embeddings of Models of Peano Arithmetic.Saeideh Bahrami - 2019 - Bulletin of Symbolic Logic 25 (2):217-218.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 231