416 results on '"propositional logic"'
Search Results
2. GÖDEL'S NOTRE DAME COURSE
3. The Lambek Calculus Extended with Intuitionistic Propositional Logic
4. The Simple Liar without Bivalence?
5. The Development of Modus Ponens in Antiquity: From Aristotle to the 2nd Century AD
6. Implication with Possible Exceptions
7. On the Admissible Rules of Intuitionistic Propositional Logic
8. All Intermediate Logics with Extra Axioms in One Variable, Except Eight, Are Not Strongly ω-Complete
9. Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic
10. Anti-Realist Aporias
11. Proofs as Games
12. Subprevarieties Versus Extensions. Application to the Logic of Paradox
13. Wholly Hypothetical Syllogisms
14. Some Results on Combinators in the System TRC
15. Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic
16. Propositional Quantification in the Monadic Fragment of Intuitionistic Logic
17. The Categoricity Problem and Truth-Value Gaps
18. Mathematical Proofs in the Computer Age
19. Compositionality Solves Carnap's Problem
20. On the Minimal Non-Fregean Grzegorczyk Logic
21. An Interpretation of Łukasiewicz's 4-Valued Modal Logic
22. A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS
23. Fibring as Biporting Subsumes Asymmetric Combinations
24. ANALYTIC INFERENCE AND THE INFORMATIONAL MEANING OF THE LOGICAL OPERATORS
25. Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
26. A New Semantics for Systems of Logic of Essence
27. Propositional Logic and Formal Codification of Behavioral Operations
28. Are Logical Languages Compositional?
29. Three-valued Logics in Modal Logic
30. Socratic Trees
31. An Intuitionistic Reformulation of Mally's Deontic Logic
32. Semantic games with chance moves revisited: from IF logic to partial logic
33. Replacement in Logic
34. FINITELY GENERATED FREE HEYTING ALGEBRAS: THE WELL-FOUNDED INITIAL SEGMENT
35. Prior's defence of Hintikka's theorem. A discussion of Prior's 'The logic of obligation and the obligations of the logician'
36. Time and knowledge: Some reflections on Prior's analysis of the paradox of the prisoner
37. From constants to consequence, and back
38. Importing Logics
39. THE PROPOSITIONAL AND RELATIONAL SYLLOGISTIC
40. Defending the Ramsey Test: What is Wrong with Preservation?
41. How Serious Is the Paradox of Serious Possibility?
42. The Frege-Geach objection to expressivism: still unanswered
43. Ideal Paraconsistent Logics
44. Logic, Formal Methodology and Semantics in Works of Ryszard Wójcicki
45. Consequence and Interpolation in Łukasiewicz Logic
46. Intuitionistic Logic and Elementary Rules
47. Revising Beliefs Towards the Truth
48. Referentiality and Matrix Semantics
49. Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics
50. A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.