Related categories
Subcategories:

8450 found
Order:
1 — 50 / 8450
Material to categorize
  1. The Road to Universal Logic. Vol. I.A. Buchsbaum A. Koslow (ed.) - 2014 - SPRINGER.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  2. Zariski-Type Topology for Implication Algebras.Manuel Abad, Diego Castaño & José Patricio Díaz Varela - 2010 - Mathematical Logic Quarterly 56 (3):299-309.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  3. Free-Decomposability in Varieties of Semi-Heyting Algebras.Manuel Abad, Juan Manuel Cornejo & José Patricio Díaz Varela - 2012 - Mathematical Logic Quarterly 58 (3):168-176.
    Remove from this list  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Free‐Decomposability in Varieties of Semi‐Heyting Algebras.Manuel Abad, Juan Manuel Cornejo & Patricio Díaz Varela - 2012 - Mathematical Logic Quarterly 58 (3):168-176.
    In this paper we prove that the free algebras in a subvariety equation image of the variety equation image of semi-Heyting algebras are directly decomposable if and only if equation image satisfies the Stone identity.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5. The Variety of Semi-Heyting Algebras Satisfying the Equation ^* \Vee ^{**} \Approx 1.Manuel Abad, Juan Cornejo & Jos\'E. Varela - 2011 - Reports on Mathematical Logic:75-90.
    Remove from this list  
     
    Export citation  
     
    My bibliography   2 citations  
  6. A Hierarchy of Filters Smaller Than [Mathematical Formula].Yoshihiro Abe - 1997 - Archive for Mathematical Logic 6.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  7. Determinants and Linear Systems: Charles L. Dodgson's View.Francine Abeles - 1986 - British Journal for the History of Science 19 (3):331-335.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. The Elements: Books I-XIII by Euclid.Andrew Aberdein - 2006 - Barnes & Noble.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  9. On Definitions of Cuts and Completion of Partially Ordered Sets.Alexander Abian - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (19):299-302.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. On the Minimal Length of Sequences Representing Simply Ordered Sets.Alexander Abian & David Deever - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (1-2):21-23.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Free Sets for Commutative Families of Functions.Uri Abraham - 1989 - In Jens Erik Fenstad, Ivan Timofeevich Frolov & Risto Hilpinen (eds.), Logic, Methodology, and Philosophy of Science Viii: Proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987. Sole Distributors for the U.S.A. And Canada, Elsevier Science.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  12. Le Subconscient Normal.E. Abramowski - 1919 - Philosophical Review 28:329.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13. Handbook of Logic in Computer Science.S. Abramsky, D. Gabbay & T. Maibaurn (eds.) - 1992 - Oxford University Press.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography   4 citations  
  14. Logísfica Das Classes.Cassiano Abranches - 1948 - Revista Portuguesa de Filosofia 4 (2):120 - 130.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  15. Wolfgang Muller-Lauter, Nietzsche: His Philosophy of Contradictions and the Contradictions of His Philosophy.C. D. Acampora - 2001 - Philosophy in Review 21 (2):121-135.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  16. Conceptions of the Mind... That Do Not Loose Sight of Logic.Juan José Acero - 2003 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 18 (1):17-25.
    Which is the relation between logic and philosophy of mind? This work tries to answer that question by shortly examining, first, the place that is assigned to logic in three current views of the mind: Computationalism, Interpretativism and Naive Naturalism. Secondly, the classical debate between psychologism and antipsychologism is reviewed -the question about whether logic is or not a part of psychology- and it is indicated in which place of such debate the three mentioned conceptions of mind are located.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  17. The Relation Reflection Scheme.Peter Aczel - 2008 - Mathematical Logic Quarterly 54 (1):5-11.
    We introduce a new axiom scheme for constructive set theory, the Relation Reflection Scheme . Each instance of this scheme is a theorem of the classical set theory ZF. In the constructive set theory CZF–, when the axiom scheme is combined with the axiom of Dependent Choices , the result is equivalent to the scheme of Relative Dependent Choices . In contrast to RDC, the scheme RRS is preserved in Heyting-valued models of CZF– using set-generated frames. We give an application (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18. A Note on BΣn and an Intermediate Induction Schema.Zofia Adamowicz & Roman Kossak - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):261-264.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19. A Short History of Logic, Ed. By W.R. Sorley.Robert Adamson & William Ritchie Sorley - 1911
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  20. Extensions of Non-Standard Models of Number Theory.Andrew Adler - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (19):289-290.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. Filoso-Fia, Logica, Matematica (GP Storari,).E. Agazzi, N. Vassallo & George Boole - 2000 - Epistemologia 23 (2):353-355.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  22. Logica Matematica E Logica Filosofica.Evandro Agazzi - 1986 - Epistemologia 9 (2):281.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  23. Behavioural Approximations for Restricted Linear Differential Hybrid Automata.Manindra Agrawal, Frank Stephan, P. S. Thiagarajan & Shaofa Yang - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 4-18.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. Rodolphi Agricolae Phrisii de Inventione Dialectica Libri Omnes Integri & Recogniti Iuxta Autographi.Rodolphus Agricola, Reinhard Alardus Amstelredamus, Joannes Matthaeus Lorich & Phrissemus - 1552 - [S.N.].
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  25. Logical Definition of Number.Saeed Ahmad - 1958 - Pakistan Philosophical Journal 2 (2):30.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  26. Neat Embedding is Not Sufficient for Complete Representability.T. Sayed Ahmed - 2007 - Bulletin of the Section of Logic 36 (1/2):29-35.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  27. Epimorphisms Are Not Surjective, Even in Simple Algebras.Tarek Ahmed - 2012 - Logic Journal of the IGPL 20 (1):22-26.
    Using techniques developed by Comer on sheaf-theoretic duality for cylindric algebras, we refine a result of Judit Madarász by showing that epimorphisms are not surjective even in the class of simple infinite dimensional cylindric algebras.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  28. A Simple Construction of Representable Relation Algebras with Non-Representable Completions.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):237-244.
    We give a simple new construction of representable relation algebras with non-representable completions. Using variations on our construction, we show that the elementary closure of the class of completely representable relation algebras is not finitely axiomatizable.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Racan is Not Elementary, for N≥ 5.Tarek Sayed Ahmed - 2008 - Bulletin of the Section of Logic 37 (2):123-136.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  30. Resolution of Equations in Algebraic Structures.Hassan Ait-Kaci & Maurice Nivat (eds.) - 1989 - Academic Press.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  31. Editor's Introduction.Kenneth Aizawa - 2009 - Synthese 167 (3):433-438.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  32. On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):385-392.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Denial of True-False Statements and Verbal Ability.M. Michael Akiyama, Richard Pollack, Michelle Kelley & Kathy Coggins - 1985 - Bulletin of the Psychonomic Society 23 (1):15-17.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. The Eternal Duality.Arturo Alberni - 1947 - New York: Philosophical Library.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  35. Justifying Induction on Modal -Formulae.L. Alberucci, J. Krahenbuhl & T. Studer - 2014 - Logic Journal of the IGPL 22 (6):805-817.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  36. Dialektika Form Myshlenii͡a.Mitrofan Nikolaevich[from old catalog] Alekseev - 1959
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  37. Ruling Out (160, 54, 18) Difference Sets in Some Nonabelian Groups.J. McKenzie Alexander, Rajalakshmi Balasubramanian, Jeremy Martin, Kimberly Monahan, Harriet Pollatsek & Ashna Sen - unknown
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  38. Analogical Reasoning and Early Mathematics Learning.Patricia A. Alexander, C. Stephen White & Martha Daugherty - 1997 - In Lyn D. English (ed.), Mathematical Reasoning: Analogies, Metaphors, and Images. L. Erlbaum Associates. pp. 117--147.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  39. The Priest.James Alf - 1948 - Thought: Fordham University Quarterly 23 (3):565-566.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  40. A Note on the Permutationally Convex Games.Bahram Alidaee - 1991 - Theory and Decision 30 (2):109-111.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  41. Counting Weak Heyting Algebras on Finite Distributive Lattices.M. Alizadeh & N. Joharizadeh - 2015 - Logic Journal of the IGPL 23 (2):247-258.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Boolean Algebras in Visser Algebras.Majid Alizadeh, Mohammad Ardeshir & Wim Ruitenburg - 2016 - Notre Dame Journal of Formal Logic 57 (1):141-150.
    We generalize the double negation construction of Boolean algebras in Heyting algebras to a double negation construction of the same in Visser algebras. This result allows us to generalize Glivenko’s theorem from intuitionistic propositional logic and Heyting algebras to Visser’s basic propositional logic and Visser algebras.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43. On A Theory of Classes.C. Alkor - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (22-24):337-342.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Logic as Metaphysics.James W. Allard - 2003 - Bradley Studies 9 (1):26-39.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45. The What and the How II: Reals and Mights.Joseph Almog - 1996 - Noûs 30 (4):413-433.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  46. Sobre Las Posibilidades de Una Equivalencia Para El Fundamento de la Aritmética.Carlos Álvarez - 1987 - Theoria 2 (2):345-364.
    Our aim in this paper is to analyse the possibilities of a logical or epistemological equivalence between the projets of R. Dedekind and G. Frege for the foundations of arithmetic. It is well know that both of them have a “logicist” point of vew. But we think that even if some coincidences exist in the wa y they define the main concepts of arithmetic, some important differences remain.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  47. Using the Internal Logic of a Topos to Model Search Spaces for Problems.Fernando Náufel do Amaral & Edward Haeusler - 2007 - Logic Journal of the IGPL 15 (5-6):457-474.
    We present a structural model for heuristic search strategies for solving computational problems. The model is defined through the use of topos-theoretical tools and techniques, which provide an appropriate internal logic where objects of interest can be represented.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  48. Logic Programming and Knowledge Engineering.Tore Amble - 1987
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  49. Anti-Mitotic Recursively Enumerable Sets.Klaus Ambos-Spies - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (29-30):461-477.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  50. Proof and the Theorem Proved.Alice Ambrose - 1959 - Mind 68 (272):435-445.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 8450