111 results on '"propositional logic"'
Search Results
2. The Logic of Lexical Connectives
3. Enhancing a student productivity model for adaptive problem-solving assistance
4. The Logical Approach of Legal Argumentation
5. What is Propositional Logic a Theory of, if Anything?
6. On Inferences
7. Refutation Systems in Propositional Logic
8. Temporal Logic with Preferences and Reasoning About Games
9. Discovering Knowledge of Association Using Coherent Rules
10. Invariants in Foundations: Algebraic Logic
11. From Games to Dialogues and Back : Towards a General Frame for Validity
12. Logics and Arithmetics
13. Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings
14. Continuity and Logical Completeness: An Application of Sheaf Theory and Topoi
15. LOGIC-BASED CONSTRAINT HANDLING IN RESOURCE-CONSTRAINED SCHEDULING PROBLEMS
16. Classical Logic and the Law
17. Simulating Strong Practical Proof Systems with Extended Resolution
18. Truth Diagrams Versus Extant Notations for Propositional Logic
19. Fuzzy Logics Arising From Strict De Morgan Systems
20. Can we Grasp Consistency?
21. Introduction
22. A Note on Partial Postulate Sets for Propositional Logic
23. Elementary Predicate Logic
24. Legal Logic Its Existence, Nature and Use
25. Probabilistic Argumentation Systems
26. A Complete Neural Network Algorithm for Horn-SAT
27. The Logical Approach
28. Models for Non-Boolean Negations in Natural Languages Based on Aspect Analysis
29. Tarskian Structured Consequence Relations and Functional Completeness
30. Łukasiewicz Propositional Logic
31. A Further Examination of Axioms AP7 — AP9
32. The World and the Truth
33. Laws of Truth and Falsity
34. Foundations: Indifference, Independence & MaxEnt
35. First-Order Resolution Proof Systems
36. Propositional Resolution Logics
37. Logical Preliminaries
38. Category Theory
39. Are Types Needed for Natural Language?
40. On the Logic of the Indefinite
41. A Category-Theoretic Approach to Aristotle’s Term Logic, with Special Reference to Syllogisms
42. Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908)
43. Open Problems
44. Modal Translations in K and D
45. Complexity of Logical Decision Problems: An Introduction
46. Brentano’s Reform of Logic
47. Our Machinery
48. Are Logical Truths Analytic?
49. The Basic Assumptions of Propositional Logic
50. Minimal Complete Propositional Natural Deduction Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.