This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Subcategories:
5685 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 5685
Material to categorize
  1. A. R. A. (1957). Elements of Logic. Review of Metaphysics 11 (2):345-345.
  2. B. C. L. A. (2008). Law and Logic. Australasian Journal of Psychology and Philosophy 9 (2):103-119.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. B. W. A. (1972). Philosophy of Logic. [REVIEW] Review of Metaphysics 25 (3):565-566.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  4. E. J. A. (1965). Elementary Modern Logic. [REVIEW] Review of Metaphysics 19 (1):149-149.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  5. E. J. A. (1965). The Elements of Logic. [REVIEW] Review of Metaphysics 18 (4):772-772.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  6. P. D. M. A. (1960). Language and Clear Thinking: An Introduction to Logic. [REVIEW] Review of Metaphysics 14 (1):174-174.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  7. R. A. A. (1957). Elements of Logic. [REVIEW] Review of Metaphysics 11 (2):345-345.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  8. T. K. Abbott (1884). Elements of Logic. Mind 9:163.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  9. Thomas Kingsmill Abbott (1883). The Elements of Logic. Hodges Longmans, Green.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  10. Shukri B. Abed (1991). Aristotelian Logic and the Arabic Language in Alfarabi. State University of New York Press.
    The first part of the book examines language as a tool of logic, and deals with Alfarabi's analysis of the meanings of various terms as they are used in logic and philosophy.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  11. Alexander Abian (1972). Categoricity of Denumerable Atomless Boolean Rings. Studia Logica 30 (1):63 - 68.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Uri Abraham, Matatyahu Rubin & Saharon Shelah (1985). On the Consistency of Some Partition Theorems for Continuous Colorings, and the Structure of ℵ< Sub> 1-Dense Real Order Types. Annals of Pure and Applied Logic 29 (2):123-206.
    We present some techniques in c.c.c. forcing, and apply them to prove consistency results concerning the isomorphism and embeddability relations on the family of ℵ 1 -dense sets of real numbers. In this direction we continue the work of Baumgartner [2] who proved the axiom BA stating that every two ℵ 1 -dense subsets of R are isomorphic, is consistent. We e.g. prove Con). Let K H , be the set of order types of ℵ 1 -dense homogeneous subsets of (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Jarosław Achinger (1986). On a Problem of P(Α, Δ, Π) Concerning Generalized Alexandroff S Cube. Studia Logica 45 (3):293 - 300.
    Universality of generalized Alexandroff's cube plays essential role in theory of absolute retracts for the category of , -closure spaces. Alexandroff's cube. is an , -closure space generated by the family of all complete filters. in a lattice of all subsets of a set of power .Condition P(, , ) says that is a closure space of all , -filters in the lattice ( ).
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. J. L. Ackrill (1953). BOCHENSKI, I. M. - Ancient Formal Logic. [REVIEW] Mind 62:110.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  15. Peter Aczel, Benno Berg, Johan Granström & Peter Schuster (2013). Are There Enough Injective Sets? Studia Logica 101 (3):467-482.
    The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough projective sets has been discussed as an additional axiom taken from the interpretation of CZF in Martin-Löf’s intuitionistic type theory. On the other hand, every non-empty set is injective in classical ZF, which argument fails to work in CZF. The aim of this paper is to shed some light on (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Alan Adamson (1983). A Note on Two-Cardinal Models. Mathematical Logic Quarterly 29 (4):193-196.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. T. Sayed Ahmed (2003). Omitting Types for Finite Variable Fragments of First Order Logic. Bulletin of the Section of Logic 32 (3):103-107.
  18. Tarek Sayed Ahmed (2009). On Neat Embeddings of Cylindric Algebras. Mathematical Logic Quarterly 55 (6):666-668.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Tarek Sayed Ahmed (2008). Weakly Representable Atom Structures That Are Not Strongly Representable, with an Application to First Order Logic. Mathematical Logic Quarterly 54 (3):294-306.
    Letn > 2. A weakly representable relation algebra that is not strongly representable is constructed. It is proved that the set of all n by n basic matrices forms a cylindric basis that is also a weakly but not a strongly representable atom structure. This gives an example of a binary generated atomic representable cylindric algebra with no complete representation. An application to first order logic is given.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Tarek Sayed Ahmed (2005). An Independence Result in Algebraic Logic. Bulletin of the Section of Logic 34 (1):29-36.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Tarek Sayed Ahmed (2005). Omitting Types for Algebraizable Extensions of First Order Logic. Journal of Applied Non-Classical Logics 15 (4):465-489.
    We prove an Omitting Types Theorem for certain algebraizable extensions of first order logic without equality studied in [SAI 00] and [SAY 04]. This is done by proving a representation theorem preserving given countable sets of infinite meets for certain reducts of ?- dimensional polyadic algebras, the so-called G polyadic algebras (Theorem 5). Here G is a special subsemigroup of (?, ? o) that specifies the signature of the algebras in question. We state and prove an independence result connecting our (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Tarek Sayed Ahmed (2002). A Modeltheoretic Solution to a Problem of Tarski. Mathematical Logic Quarterly 48 (3):343-355.
    Let 1 n. We show that the class NrnCAβ of n-dimensional neat reducts of β-dimensional cylindric algebras is not closed under forming elementary subalgebras. This solves a long-standing open problem of Tarski and his co-authors Andréka, Henkin, Monk and Németi. The proof uses genuine model-theoretic arguments.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. Tarek Sayed Ahmed & Basim Samir (2006). Neat Embeddings and Amalgamation. Bulletin of the Section of Logic 35 (4):163-171.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  24. Kazimierz Ajdukiewicz (1974). Pragmatic Logic.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  25. Muhammad Ibn Muhammad Qutb Al-Tahtani & Ali ibn Umar Qazwini (1884). Qutbi. Nawalkishawr.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  26. Kwame Abu Al-Faraj Abd Allah Ibn Al-Tayyib & Gyekye (1975). Tafsir Kitab Isaghuji Li-Furfuriyus.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  27. Jesús Alcolea Banegas (1990). Lógica formal. Theoria 5 (1-2):270-273.
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Henry Aldrich, Thomas Jackson & John Wesley (1836). A Compendium of Logic. Printed for Thomas Tegg & Son R. Griffin, & Co. Tegg, Wise, & Co.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  29. Igor Aleksander (1970). Introduction to Logic Circuit Theory.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  30. Peter Alexander (1969). An Introduction to Logic the Criticism of Arguments.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  31. C. Alkor & B. Intrigila (1983). Baire Category on Cardinals. Mathematical Logic Quarterly 29 (4):245-252.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Colin Allen & Michael Hand (1992). Logic Primer. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  33. Klaus Ambos-Spies (2014). On the Strongly Bounded Turing Degrees of Simple Sets. In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. 23-78.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  34. Klaus Ambos-Spies (1985). Cupping and Noncapping in the Re Weak Truth Table and Turing Degrees. Archive for Mathematical Logic 25 (1):109-126.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  35. Klaus Ambos-Spies & André Nies (1992). Cappable Recursively Enumerable Degrees and Post's Program. Archive for Mathematical Logic 32 (1):51-56.
    We give a simple structural property which characterizes the r.e. sets whose (Turing) degrees are cappable. Since cappable degrees are incomplete, this may be viewed as a solution of Post's program, which asks for a simple structural property of nonrecursive r.e. sets which ensures incompleteness.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Klaus Ambos‐Spies (1985). Anti‐Mitotic Recursively Enumerable Sets. Mathematical Logic Quarterly 31 (29‐30):461-477.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. Brooke M. Andersen & Marcia J. Groszek (2009). Grigorieff Forcing on Uncountable Cardinals Does Not Add a Generic of Minimal Degree. Notre Dame Journal of Formal Logic 50 (2):195-200.
    Grigorieff showed that forcing to add a subset of ω using partial functions with suitably chosen domains can add a generic real of minimal degree. We show that forcing with partial functions to add a subset of an uncountable κ without adding a real never adds a generic of minimal degree. This is in contrast to forcing using branching conditions, as shown by Brown and Groszek.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  38. Brooke M. Andersen, Asher M. Kach, Alexander G. Melnikov & Reed Solomon (2012). Jump Degrees of Torsion-Free Abelian Groups. Journal of Symbolic Logic 77 (4):1067-1100.
    We show, for each computable ordinal α and degree $\alpha > {0^{\left( \alpha \right)}}$, the existence of a torsion-free abelian group with proper α th jump degree α.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  39. Holger Andreas (2013). Deductive Reasoning in the Structuralist Approach. Studia Logica 101 (5):1093-1113.
    The distinction between the syntactic and the semantic approach to scientific theories emerged in formal philosophy of science. The semantic approach is commonly considered more advanced and more successful than the syntactic one, but the transition from the one approach to the other was not brought about without any loss. In essence, it is the formal analysis of atomic propositions and the analysis of deductive reasoning that dropped out of consideration in at least some of the elaborated versions of the (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  40. H. Andréka, T. Gergely & I. Németi (1974). Sufficient and Necessary Condition for the Completeness of a Calculus. Mathematical Logic Quarterly 20 (28‐29):433-434.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  41. H. Andreka, S. Givant, I. Nemeti & Roger D. Maddux (2003). REVIEWS-Decision Problems for Equational Theories of Relation Algebras. Bulletin of Symbolic Logic 9 (1):37-38.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  42. H. Andréka, J. Donald Monk, I. Németi, Bolyai János Matematikai Társulat & Association of Symbolic Logic (1991). Algebraic Logic. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  43. Hajnal Andréka (1997). Complexity of Equations Valid in Algebras of Relations Part I: Strong Non-Finitizability. Annals of Pure and Applied Logic 89 (2):149-209.
    We study algebras whose elements are relations, and the operations are natural “manipulations” of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schröder . Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of n-ary relations, RPEAn of polyadic equality algebras of n-ary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. Hajnal Andréka & Ivo Düntsch (1995). Binary Relations and Permutation Groups. Mathematical Logic Quarterly 41 (2):197-216.
    We discuss some new properties of the natural Galois connection among set relation algebras, permutation groups, and first order logic. In particular, we exhibit infinitely many permutational relation algebras without a Galois closed representation, and we also show that every relation algebra on a set with at most six elements is Galois closed and essentially unique. Thus, we obtain the surprising result that on such sets, logic with three variables is as powerful in expression as full first order logic.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. Hajnal Andréka & István Németi (1979). Not All Representable Cylindric Algebras Are Neat Reducts. Bulletin of the Section of Logic 8 (3):145-147.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  46. Hajnal Andréka & István Németi (1978). On Universal Algebraic Logic and Cylindric Algebras. Bulletin of the Section of Logic 7 (4):152-158.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  47. Alessandro Andretta (2012). REVIEWS-AS Kechris, B. Löwe, and JR Steel (Editors), Games, Scales, and Suslin Cardinals. The Cabal Seminar, Volume I. Bulletin of Symbolic Logic 18 (1):122.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  48. Irving H. Anellis (2012). Jean van Heijenoort's Conception of Modern Logic, in Historical Perspective. Logica Universalis 6 (3-4):339-409.
    I use van Heijenoort’s published writings and manuscript materials to provide a comprehensive overview of his conception of modern logic as a first-order functional calculus and of the historical developments which led to this conception of mathematical logic, its defining characteristics, and in particular to provide an integral account, from his most important publications as well as his unpublished notes and scattered shorter historico-philosophical articles, of how and why the mathematical logic, whose he traced to Frege and the culmination of (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Zakariya ibn Muhammad Ansari & Al-Mufaddal Ibn Umar Athir Al-Din Al-Abhari (1867). Al-Matla Sharh Isaghuji. [Dar Al-Tiba Ah].
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  50. O. M. Anshakov, D. V. Vinogradov & V. K. Finn (eds.) (2008). Mnogoznachnye Logiki I Ikh Primenenii͡a. Lki.
    Tom 1. Logicheskie ischisleni͡a, algebry i funkt͡sionalnye svoĭstva.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
1 — 50 / 5685