This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Material to categorize found
Search inside:
(import / add options)   Sort by:
1 — 50 / 21416
  1. [author unknown], . [REVIEW]
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Llp 19 (2010). Contents of Volume 19. Logic and Logical Philosophy 19 (4):365-366.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Llp 20 (2011). Acknowledgments. Logic and Logical Philosophy 20 (4):363.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  4. Llp 20 (2011). Contents of Volume 20. Logic and Logical Philosophy 20 (4):361-362.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Contents Volume 21 (2012). Contents of Volume 21. Logic and Logical Philosophy 21 (4):473-474.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano (2001). Conservative Translations. Annals of Pure and Applied Logic 108 (1-3):205-227.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Renato A. Lewin, Irene F. Mikenberg & Marı́a G. Schwarze (2001). On Free Annotated Algebras. Annals of Pure and Applied Logic 108 (1-3):249-259.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. A. M. Suardiaz A. Quantifier (forthcoming). M. Abad Varieties of Three-Valued. Studia Logica.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  9. A. R. A. (1957). Elements of Logic. Review of Metaphysics 11 (2):345-345.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  10. A. R. A. (1957). Introduction To Logic. Review of Metaphysics 11 (2):353-353.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  11. A. R. A. (1957). Workbook for an Elementary Course in Logic. Review of Metaphysics 11 (2):345-345.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  12. Arnfinn Aamodt, Martın Abadi, Areski Nait Abdallah, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, Kuanysh Abeshev, Nate Ackerman & Juan Pablo Acosta López (2012). Individual Members 2012. Bulletin of Symbolic Logic 18 (4).
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  13. Arnfinn Aamodt, Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, Kuanysh Abeshev, Nate Ackerman, Martin Adamcik & Winfred P. Adams (2011). Individual Members 2011. Bulletin of Symbolic Logic 17 (4).
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  14. Manuel Abad, J. P. Diaz Varela & L. A. Rueda (2000). Varieties of Three-Values Heyting Algebras with a Quantifier. Studia Logica 65 (2):181-198.
    This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...)
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  15. Manuel Abad & Alejandro Petrovich (2011). Editorial Introduction. Studia Logica 98 (1-2):1-3.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Manuel Abad & J. Patricio Díaz Varela (1999). Free Double Ockham Algebras. Journal of Applied Non-Classical Logics 9 (1):173-183.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Kuanysh Abeshev, Nate Ackerman, Winfred P. Adams & Miloš Adzic (2010). Individual Members 2010. Bulletin of Symbolic Logic 16 (4).
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  18. Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Nate Ackerman, Bryant Adams, Winifred P. Adams & Klaus T. Aehlig (2009). Individual Members 2009. Bulletin of Symbolic Logic 15 (4).
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  19. Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach & Henry Louis Africk (2008). Individual Members 2008. Bulletin of Symbolic Logic 14 (4).
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  20. Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, Nathanael Ackerman, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach & Henry Louis Africk (2007). Individual Members 2007. Bulletin of Symbolic Logic 13 (4).
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Martın Abadi, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Nathanael Ackerman, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach, Henry Louis Africk & Bahareh Afshari (2006). Individual Members 2006. Bulletin of Symbolic Logic 12 (4).
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  22. Barbara Abbott (1988). Review: E. M. Barth, R. T. P. Wiche, Problems, Functions and Semantic Roles. A Pragmatists' Analysis of Montague's Theory of Sentence Meaning. [REVIEW] Journal of Symbolic Logic 53 (1):317-318.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Jair Minoro Abe & Leonardo Pujatti (2004). A Meta-Interpreter Based on Paraconsistent Legal Knowledge Engineering. Logic and Logical Philosophy 9:129.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. Yoshihiro Abe & Pierre Matet (2002). REVIEWS-Seven Papers-PkM. Bulletin of Symbolic Logic 8 (2):309-311.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  25. Francine F. Abeles (2013). Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication. History and Philosophy of Logic 35 (1):1-14.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  26. Francine F. Abeles (2012). Toward A Visual Proof System: Lewis Carroll's Method of Trees. Logica Universalis 6 (3-4):521-534.
    In the period 1893–1897 Charles Dodgson, writing as Lewis Carroll, published two books and two articles on logic topics. Manuscript material first published in 1977 together with letters and diary entries provide evidence that he was working toward a visual proof system for complex syllogistic propositional logic based on a mechanical tree method that he devised.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  27. Oliver Aberth (1991). Pour-El Marian B. And Richards J. Ian. Computability in Analysis and Physics. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, Heidelberg, New York, Etc., 1989, Xi+ 206 Pp. [REVIEW] Journal of Symbolic Logic 56 (2):749-750.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  28. Oliver Aberth (1991). Review: Marian B. Pour-El, J. Ian Richards, Computability in Analysis and Physics. [REVIEW] Journal of Symbolic Logic 56 (2):749-750.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Kamal Aboul-Hosn & Dexter Kozen (2006). KAT-ML: An Interactive Theorem Prover for Kleene Algebra with Tests. Journal of Applied Non-Classical Logics 16 (1-2):9-33.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Leo Abraham (1936). A Note on the Fruitfulness of Deduction. Philosophy of Science 3 (2):152-155.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. M. Abraham, D. M. Gabbay & U. Schild (2012). Contrary to Time Conditionals in Talmudic Logic. Artificial Intelligence and Law 20 (2):145-179.
    We consider conditionals of the form A ⇒ B where A depends on the future and B on the present and past. We examine models for such conditional arising in Talmudic legal cases. We call such conditionals contrary to time conditionals.Three main aspects will be investigated: Inverse causality from future to past, where a future condition can influence a legal event in the past (this is a man made causality).Comparison with similar features in modern law.New types of temporal logics arising (...)
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  32. U. Abraham, M. Rubin & S. Shelah (1986). Master Index to Volumes 11-30”. Annals of Pure and Applied Logic 30:323-329.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  33. U. Abraham, M. Rubin & S. Shelah (1985). Tency of Some Partition Theorems for Continuous Colorings, and the Structure of K,-Dense Real Order Types KALANTARI, I. And WEITKAMP, G., Effective Topological Spaces I: A Definability Theory. [REVIEW] Annals of Pure and Applied Logic 29:325.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  34. U. Abraham, M. Rubin, S. Shelah & J. Steprans (2002). REVIEWS-On the Consistency of Some Partition Theorems for Continuous Colorings. Bulletin of Symbolic Logic 8 (2):303-305.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  35. Uri Abraham (1983). Aronszajn Trees on ℵ2 and ℵ3. Annals of Pure and Applied Logic 24 (3):213-230.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. 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.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. Uri Abraham & Saharon Shelah (1993). A Δ< Sup> 2< Sub> 2 Well-Order of the Reals and Incompactness of< I> L(< I> QMM). Annals of Pure and Applied Logic 59 (1):1-32.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  38. Uri Abraham & Saharon Shelah (1993). A Δ22 Well-Order of the Reals and Incompactness of L(QMM). Annals of Pure and Applied Logic 59 (1):1-32.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Uri Abraham & Ted Slaman (2011). 2010 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'10. Bulletin of Symbolic Logic 17 (2).
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. K. A. Abrahamson, R. G. Downey, M. R. Fellows, A. W. Apter, M. Magidor, M. I. da ArchangelskyDekhtyar, M. A. Taitslin, M. A. Arslanov & S. Lempp (1996). Master Index to Volumes 71-80. Annals of Pure and Applied Logic 80:293-298.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  41. Karl A. Abrahamson, Rodney G. Downey & Michael R. Fellows (1995). Fixed-Parameter Tractability and Completeness IV: On Completeness for W[P] and PSPACE Analogues. Annals of Pure and Applied Logic 73 (3):235-276.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. S. Abramsky, D. Gabbay & T. Maibaum (1996). KM99] GP Kogan and JA Makowsky. Computing Schur Functions for Borchardt Matrices. In Preparation, 1999. Kog96] GP Kogan. Computing the Permanent Over Elds of Characteristic 3: Where and Why It Becomes Dificult. In FOCS'96, Pages 108 {114. IEEE, 1996. [REVIEW] Annals of Pure and Applied Logic 78 (2):189-202.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  43. Samson Abramsky (2013). Coalgebras, Chu Spaces, and Representations of Physical Systems. Journal of Philosophical Logic 42 (3):551-574.
    We investigate the use of coalgebra to represent quantum systems, thus providing a basis for the use of coalgebraic methods in quantum information and computation. Coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, the standard coalgebraic framework does not accommodate contravariance, and is too rigid to allow physical symmetries to be represented. We introduce a fibrational structure on coalgebras in which contravariance is represented by indexing. (...)
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. Samson Abramsky (2013). Relational Hidden Variables and Non-Locality. Studia Logica 101 (2):411-452.
    We use a simple relational framework to develop the key notions and results on hidden variables and non-locality. The extensive literature on these topics in the foundations of quantum mechanics is couched in terms of probabilistic models, and properties such as locality and no-signalling are formulated probabilistically. We show that to a remarkable extent, the main structure of the theory, through the major No-Go theorems and beyond, survives intact under the replacement of probability distributions by mere relations.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. Samson Abramsky (1991). Domain Theory in Logical Form. Annals of Pure and Applied Logic 51 (1-2):1-77.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  46. Samson Abramsky & Dan R. Ghica (2013). Foreword. Annals of Pure and Applied Logic 164 (11):1037.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Samson Abramsky & Radha Jagadeesan (2005). A Game Semantics for Generic Polymorphism. Annals of Pure and Applied Logic 133 (1-3):3-37.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. Samson Abramsky & Marina Lenisa (2005). Linear Realizability and Full Completeness for Typed Lambda-Calculi. Annals of Pure and Applied Logic 134 (2-3):122-168.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Fred G. Abramson (1979). $Sigma_1$-Separation. Journal of Symbolic Logic 44 (3):374-382.
    Let $A$ be a standard transitive admissible set. $\mathbf{\Sigma}_1$-separation is the principle that whenever $X$ and $Y$ are disjoint $\mathbf{\Sigma}^A_1$ subsets of $A$ then there is a $\mathbf\Delta^A_1$ subset $S$ of $A$ such that $X \subseteq S$ and $Y \cap S = \varnothing$. Theorem. If $A$ satisfies $\mathbf\Sigma_1$-separation, then (1) If $\langle T_n\mid n < \omega \rangle \in A$ is a sequence of trees on $\omega$ each of which has at most finitely many infinite paths in $A$ then the function (...)
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. V. M. Abrusci (1991). Sequent Calculus and Phase Semantics for Pure Non-Commutative Classical Propositional Logic. Journal of Symbolic Logic 56:1403-1451.
    Select appropriate categories:

    Or:

    Select a category by name

    Logics
     Classical Logic
     Deontic Logic
     Epistemic Logic
     Higher-Order Logic
     Modal and Intensional Logic
     Nonclassical Logics
     Temporal Logic
     Logics, Misc
    Logical Consequence and EntailmentLogical Expressions
     Logical Constants
     Logical Connectives
     Quantifiers
     Variables
    Paradoxes
     Epistemic Paradoxes
     Liar Paradox
     Russell's Paradox
     Sorites Paradox
     Probabilistic Puzzles
     Decision-Theoretic Puzzles
     Paradoxes, Misc
    Logical Semantics and Logical TruthHistory of Logic
     Ancient Greek and Roman Logic
     Aristotelian Logic
     Buddhist Logic
     Indian Logic
     Medieval Logic
     20th Century Logic
     19th Century Logic
     History of Logic, Misc
     17th/18th Century Logic
    Logic and Phil of Logic, Miscellaneous
     Dialetheism
     Epistemology of Logic
     Informal Logic
     Logical Pluralism
     Logic and Information
     Logic in Phil
     Model Theory
     Proof Theory
     Set Theory
     Mathematical Logic
     Introductions to Logic
     Logic and Phil of Logic, General Works
     Logic and Phil of Logic, Misc
    Remove from this list |
     
    My bibliography  
     
    Export citation  
1 — 50 / 21416