This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Most recently added entries found
Search inside:
(import / add options)   Order:
1 — 50 / 736
  1. added 2016-02-07
    James Trafford (forthcoming). Structuring Co-Constructive Logic for Proofs and Refutations. Logica Universalis:1-31.
    This paper considers a topos-theoretic structure for the interpretation of co-constructive logic for proofs and refutations following Trafford :22–40, 2015). It is notoriously tricky to define a proof-theoretic semantics for logics that adequately represent constructivity over proofs and refutations. By developing abstractions of elementary topoi, we consider an elementary topos as structure for proofs, and complement topos as structure for refutation. In doing so, it is possible to consider a dialogue structure between these topoi, and also control their (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. added 2016-02-06
    Guillermo Badia (forthcoming). A Lindström-Style Theorem for Finitary Propositional Weak Entailment Languages with Absurdity. Logic Journal of the IGPL.
    Following a result by De Rijke for modal logic, it is shown that the basic weak entailment model-theoretic language with absurdity is the maximal model-theoretic language having (i) the finite occurrence property, (ii) preservation under relevant directed bisimulations and (iii) the finite depth property. This can be seen as a generalized preservation theorem characterizing propositional weak entailment formulas among formulas of other model-theoretic languages.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  3. added 2016-02-06
    Guillermo Badia (forthcoming). A Lindström-Style Theorem for Finitary Propositional Weak Entailment Languages with Absurdity. Logic Journal of the IGPL.
    Following a result by De Rijke for modal logic, it is shown that the basic weak entailment model-theoretic language with absurdity is the maximal model-theoretic language having (i) the finite occurrence property, (ii) preservation under relevant directed bisimulations and (iii) the finite depth property. This can be seen as a generalized preservation theorem characterizing propositional weak entailment formulas among formulas of other model-theoretic languages.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  4. added 2016-02-06
    L. M. Cabrer & H. A. Priestley (forthcoming). Natural Dualities Through Product Representations: Bilattices and Beyond. Studia Logica:1-26.
    This paper focuses on natural dualities for varieties of bilattice-based algebras. Such varieties have been widely studied as semantic models in situations where information is incomplete or inconsistent. The most popular tool for studying bilattices-based algebras is product representation. The authors recently set up a widely applicable algebraic framework which enabled product representations over a base variety to be derived in a uniform and categorical manner. By combining this methodology with that of natural duality theory, we demonstrate how to build (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. added 2016-02-06
    Marcelo Carvalho, Celso Braida, João Carlos Salles & Marcelo E. Coniglio (2015). Filosofia da Linguagem e da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese). ANPOF.
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. added 2016-02-06
    John Corcoran (1972). Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08. Philosophy of Science 39 (1):106-108.
    Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08. -/- Constance Reid was an insider of the Berkeley-Stanford logic circle. Her San Francisco home was in Ashbury Heights near the homes of logicians such as Dana Scott and John Corcoran. Her sister Julia Robinson was one of the top mathematical logicians of her generation, as was Julia’s husband Raphael Robinson for whom Robinson Arithmetic was named. Julia was a Tarski PhD and, in recognition of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. added 2016-02-05
    Jeremy Wyatt (forthcoming). The Many (yet Few) Faces of Deflationism. Philosophical Quarterly:pqv085.
    It's often said that according to deflationary theories of truth, truth is not a ‘substantial’ property. While this is a fine slogan, it is far from transparent what deflationists mean (or ought to mean) in saying that truth is ‘insubstantial’. Focusing so intently upon the concept of truth and the word ‘true’, I argue, deflationists and their critics have been insufficiently attentive to a host of metaphysical complexities that arise for deflationists in connection with the property of truth. My aim (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8. added 2016-02-05
    Joseph Y. Halpern (forthcoming). Appropriate Causal Models and the Stability of Causation. Review of Symbolic Logic:1-27.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. added 2016-02-05
    Annika Siders (forthcoming). From Stenius’ Consistency Proof to Schütte’s Cut Elimination for Ω-Arithmetic. Review of Symbolic Logic:1-22.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. added 2016-02-05
    Jacopo Amidei, Duccio Pianigiani, Luca San Mauro, Giulia Simi & Andrea Sorbi (forthcoming). Trial and Error Mathematics I: Dialectical and Quasidialectical Systems. Review of Symbolic Logic:1-26.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. added 2016-02-05
    Alexander W. Kocurek (forthcoming). The Problem of Cross-World Predication. Journal of Philosophical Logic:1-46.
    While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. added 2016-02-05
    Hsing-Chien Tsai (2015). An Addendum To: “Notes on Models of First-Order Mereological Theories”. Logic and Logical Philosophy 24 (4):483.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. added 2016-02-05
    Rafał Gruszczyński & Achille C. Varzi (2015). Mereology Then and Now. Logic and Logical Philosophy 24 (4):409.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. added 2016-02-05
    George Voutsadakis (2014). Categorical Abstract Algebraic Logic: Behavioral Π-Institutions. Studia Logica 102 (3):617-646.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. added 2016-02-05
    Anna Bucalo & Giuseppe Rosolini (2013). Topologies and Free Constructions. Logic and Logical Philosophy 22 (3).
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. added 2016-02-05
    Erik Weber, Dietlinde Wouters & Joke Meheus (2013). Introduction. Logic and Logical Philosophy 21 (4).
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. added 2016-02-05
    Hsing-Chien Tsai (2013). Finitely Inseparable First-Order Axiomatized Mereotopological Theories. Logic and Logical Philosophy 22 (3).
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. added 2016-02-05
    Vladislav Nenchev (2013). Dynamic Relational Mereotopology: Logics for Stable and Unstable Relations. Logic and Logical Philosophy 22 (3).
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. added 2016-02-05
    Boris Kovalerchuk, Leonid Perlovsky & Gregory Wheeler (2012). Modelling Phenomena and Dynamic Logic of Phenomena. Journal of Applied Non-Classical Logics 22 (1-2):53-82.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. added 2016-02-05
    Hannes Leitgeb (2012). A Probabilistic Semantics for Counterfactuals. Part B. Review of Symbolic Logic 5 (1):85-121.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21. added 2016-02-05
    Daniele Mundici & Itala M. Loffredo D’Ottaviano (2011). Foreword. Studia Logica 97 (1):1-5.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. added 2016-02-05
    Steffen Lewitzka (2011). $${\in_K}$$ : A Non-Fregean Logic of Explicit Knowledge. Studia Logica 97 (2):233-264.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. added 2016-02-05
    G. Shtakser & L. Leonenko (2011). Tracks of Relations and Equivalences-Based Reasoning. Studia Logica 97 (3):385-413.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. added 2016-02-05
    Marek Nasieniewski & Andrzej Pietruszczak (2011). A Method of Generating Modal Logics Defining Jaśkowski’s Discussive Logic D2. Studia Logica 97 (1):161-182.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. added 2016-02-05
    Takahiro Seki (2011). The Γ-Admissibility of Relevant Modal Logics I — The Method of Normal Models. Studia Logica 97 (2):199-231.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. added 2016-02-05
    Christopher Steinsvold (2010). A Canonical Topological Model for Extensions of K4. Studia Logica 94 (3):433-441.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. added 2016-02-05
    Roberto Ciuni & Alberto Zanardo (2010). Completeness of a Branching-Time Logic with Possible Choices. Studia Logica 96 (3):393-420.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. added 2016-02-05
    Jarosław Pykacz (2010). Unification of Two Approaches to Quantum Logic: Every Birkhoff – von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic. Studia Logica 95 (1-2):5-20.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. added 2016-02-05
    Stefano Aguzzoli & Brunella Gerla (2010). Probability Measures in the Logic of Nilpotent Minimum. Studia Logica 94 (2):151-176.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. added 2016-02-05
    Sara Miner More & Pavel Naumov (2010). An Independence Relation for Sets of Secrets. Studia Logica 94 (1):73-85.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31. added 2016-02-05
    Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189-214.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. added 2016-02-05
    Jan Heylen (2010). Carnap’s Theory of Descriptions and its Problems. Studia Logica 94 (3):355-380.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. added 2016-02-05
    Michael Gabbay (2010). A Formalist Philosophy of Mathematics Part I: Arithmetic. Studia Logica 96 (2):219-238.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. added 2016-02-05
    Sergei P. Odintsov (2010). Priestley Duality for Paraconsistent Nelson’s Logic. Studia Logica 96 (1):65-93.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. added 2016-02-05
    Ivan Kasa (2010). On Field’s Epistemological Argument Against Platonism. Studia Logica 96 (2):141-147.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. added 2016-02-05
    Miklós Ferenczi (2010). Non-Standard Stochastics with a First Order Algebraization. Studia Logica 95 (3):345-354.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. added 2016-02-05
    Bartosz Więckowski (2010). Associative Substitutional Semantics and Quantified Modal Logic. Studia Logica 94 (1):105-138.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. added 2016-02-05
    Thomas Durt (2010). Experimental Proposal for Testing the Emergence of Environment Induced Classical Selection Rules with Biological Systems. Studia Logica 95 (1-2):259-277.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. added 2016-02-05
    Yehuda Schwartz & George Tourlakis (2010). On the Proof-Theory of Two Formalisations of Modal First-Order Logic. Studia Logica 96 (3):349-373.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. added 2016-02-05
    Guillaume Aucher (2010). An Internal Version of Epistemic Logic. Studia Logica 94 (1):1-22.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. added 2016-02-05
    Adam Kolany (2010). Reversed Resolution in Reducing General Satisfiability Problem. Studia Logica 95 (3):407-416.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. added 2016-02-05
    George Georgescu (2010). States on Polyadic MV-Algebras. Studia Logica 94 (2):231-243.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. added 2016-02-05
    Katalin Bimbó (2010). Schönfinkel-Type Operators for Classical Logic. Studia Logica 95 (3):355-378.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. added 2016-02-05
    Francesca Boccuni (2010). Plural Grundgesetze. Studia Logica 96 (2):315-330.
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. added 2016-02-05
    Lennart Åqvist (2010). Grades of Probability Modality in the Law of Evidence. Studia Logica 94 (3):307-330.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. added 2016-02-05
    Maurizio Negri (2010). A Probability Measure for Partial Events. Studia Logica 94 (2):271-290.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. added 2016-02-05
    Neil Tennant (2010). The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun’s Gravitational Field. Studia Logica 95 (1-2):207-232.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. added 2016-02-05
    Roman Frič & Martin Papčo (2010). A Categorical Approach to Probability Theory. Studia Logica 94 (2):215-230.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. added 2016-02-05
    Tamar Aizikowitz, Nissim Francez, Daniel Genkin & Michael Kaminski (2010). Extending Free Pregroups with Lower Bounds. Studia Logica 95 (3):417-441.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. added 2016-02-05
    Jie Fang & Lei-Bo Wang (2010). Congruences on a Balanced Pseudocomplemented Ockham Algebra Whose Quotient Algebras Are Boolean. Studia Logica 96 (3):421-431.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 736