# Logic and Philosophy of Logic

Edited by Aleksandra Samonek (Jagiellonian University)
 1 — 50 / 35442
1. 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 Entailment Logical 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 Truth History 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
Translate

Export citation

My bibliography
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 Entailment Logical 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 Truth History 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
Translate

Export citation

My bibliography
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 Entailment Logical 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 Truth History 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
Translate

Export citation

My bibliography
4. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
5. E. J. A. (1965). Elements of Formal Logic. [REVIEW] Review of Metaphysics 19 (2):379-379.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
6. 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.
In Lewin et al. 359–386) the authors proved that certain systems of annotated logics are algebraizable in the sense of Block and Rigozzi 396). Later in Lewin et al. the study of the associated quasi-varieties of annotated algebras is initiated. In this paper we continue the study of the these classes of algebras, in particular, we report some recent results about the free annotated algebras.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
7. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
8. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
9. G. A. (1973). Metakritik der Formalen Logik. Review of Metaphysics 27 (2):381-382.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
10. R. A. A. (1957). Workbook for an Elementary Course in Logic. [REVIEW] 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
11. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
12. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
13. Stål O. Aanderaa & Harry R. Lewis (1974). Linear Sampling and the ∀∃∀ Case of the Decision Problem. Journal of Symbolic Logic 39 (3):519-548.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
14. Richard I. Aaron (1958). The Rational and the Empirical. Journal of Symbolic Logic 23 (2):209-209.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
15. Richard Ithamar Aaron (1955). The True and the Valid. New York, Oxford University Press.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
16. M. Abad & L. Monteiro (1984). On Three-Valued Moisil Algebras. Logique Et Analyse 27 (8):407-414.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
17. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography   1 citation
18. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
19. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
20. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
21. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
22. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
23. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
24. Celina Abar & Mineko Yamashita (1986). Remarks on Variable Binding Term Operators. Bulletin of the Section of Logic 15 (4):145-149.
A variable binding term operator is an operator which binds variables of formulas to give origin to terms. Examples of vbtos are the description operator ι, Hilbert’s ε-symbol, the classiﬁer { : }, and Russell’s abstraction operator ˆx1xˆ2 . . . xˆnF. It is usual to introduce vbtos by contextual deﬁnition, though their treatment in ﬁrst- and higherorder languages as new primitive symbols, added to them, is more convenient, especially from the semantic point of view. A semantic approach to vbtos (...)
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
25. Charles J. Abaté (1979). Fallaciousness and Invalidity. Philosophy and Rhetoric 12 (4):262 - 266.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
26. N. Abbagnano (1962). Sul Concetto di Esperienza. Journal of Symbolic Logic 27 (1):124-125.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
27. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
28. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
29. Wilton R. Abbott (1952). Computing Logical Truth with the California Digital Computer. Journal of Symbolic Logic 17 (4):280-281.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
30. J. M. Abe (1998). Curry Algebras Pτ. Logique Et Analyse 161:5-15.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
31. Jair Minoro Abe & Seiki Akama (1997). Annotated Logics Qt and Ultraproducts. Logique Et Analyse 160:335-343.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
32. Jair Minoro Abe & Leonardo Pujatti (2004). A Meta-Interpreter Based on Paraconsistent Legal Knowledge Engineering. Logic and Logical Philosophy 9:129.
The Legal Knowledge Engineering is a new topic of investigationof Artiﬁcial Intelligence. This paper discusses some relevant problems relatedto this new area in a summarized way. Within the Normative Law Theory,one question that arises naturally is that of contradiction, like for example:articles conﬂicting with other articles inside the same code, codes conﬂictingwith codes, codes conﬂicting with jurisprudence, and in general, treatmentswith conﬂicting propositions in Normative Law Theory. This paper suggeststo treat directly inconsistencies in the Legal Knowledge Engineering; thisengineering has as (...)
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
33. Yoshihiro Abe (2002). Weakly Normal Filters and the Closed Unbounded Filter on P Κ Λ. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
34. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
35. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
36. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
37. Francine F. Abeles & Amirouche Moktefi (2011). Hugh MacColl and Lewis Carroll: Crosscurrents in Geometry and Logic. Philosophia Scientiae 15:55-76.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
38. Raziel Abelson (1961). In Defense of Formal Logic. Philosophy and Phenomenological Research 21 (3):333-346.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
39. Claes Åberg (1975). Generic Extensions and Elementary Embeddings. Theoria 41 (2):96-104.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
40. Robert Abernathy (1966). The Problem of Linguistic Equivalence. Journal of Symbolic Logic 31 (4):668-668.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
41. Oliver Aberth (2002). Computable Calculus. Bulletin of Symbolic Logic 8 (3):426-428.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography   1 citation
42. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
43. 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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
44. Oliver Aberth (1984). Computable Analysis. Journal of Symbolic Logic 49 (3):988-989.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography   7 citations
45. Oliver Aberth (1975). Computable Analysis and Differential Equations. Journal of Symbolic Logic 40 (1):84-84.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
46. Shreeram Abhyankar (1959). Minimal "Sum of Products of Sums" Expressions of Boolean Functions. Journal of Symbolic Logic 24 (3):254-255.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography
47. Aleksander Abian (1974). Nonstandard models for arithmetic and analysis. Studia Logica 33:11.
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 Entailment Logical 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 Truth History 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
Translate

Export citation

My bibliography
48. Alexander Abian (1977). Boolean Rings. Journal of Symbolic Logic 42 (4):588-589.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography   1 citation
49. Alexander Abian (1971). The Theory of Sets and Transfinite Arithmetic. Journal of Symbolic Logic 36 (1):167-167.
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 Entailment Logical 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 Truth History 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

Export citation

My bibliography   1 citation
50. Alexander Abian (1970). Generalized Completeness Theorem and Solvability of Systems of Boolean Polynomial Equations. Mathematical Logic Quarterly 16 (3):263-264.
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 Entailment Logical 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 Truth History 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