519 results on '"propositional logic"'
Search Results
2. Gödel’s Introduction to Deduction
3. Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic
4. Boosting Definability Bipartition Computation Using SAT Witnesses
5. Parameterized Complexity of Propositional Inclusion and Independence Logic
6. Learning Analytics Based on Streamed Log Data from a Course in Logic
7. An Interpretable Knowledge Representation Framework for Natural Language Processing with Cross-Domain Application
8. Generating Pragmatically Appropriate Sentences from Logic: The Case of the Conditional and Biconditional
9. Basic Logic Versus Multi-adjoint Logic
10. Boole’s Untruth Tables: The Formal Conditions of Meaning Before the Emergence of Propositional Logic
11. Defeasible Justification Using the KLM Framework
12. Interactive Theorem Proving for Logic and Information
13. Introduction to Logic
14. The Use of E-learning Tools in a Basic Logic Course During the COVID-19 Lockdown
15. A Short History of Logic
16. Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL
17. Features Analysis of a Patent Act Based on Legal Condition–Effect Structure: Conversion of Law Texts into Logical Formulas for a Learning Support System
18. Propositional Deductive Inference by Semantic Vectors
19. The Use of E-learning Tools and Log Data in a Course on Basic Logic
20. Increasing the Inference and Learning Speed of Tsetlin Machines with Clause Indexing
21. Logic and Reasoning Patterns
22. A Tsetlin Machine with Multigranular Clauses
23. The Regression Tsetlin Machine: A Tsetlin Machine for Continuous Output Problems
24. Heráclito: Intelligent Tutoring System for Logic
25. The Merits of Compositional Abstraction: A Case Study in Propositional Logic
26. B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution
27. Jan Łukasiewicz: A Creator of New Ideas in Logic and a Reinterpreter of Its History
28. Performance Evaluation of Management Faculty Using Hybrid Model of Logic—AHP
29. A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs
30. Approaches for Enumerating All the Essential Prime Implicants
31. Exploiting Treewidth for Projected Model Counting and Its Limits
32. Default Logic and Bounded Treewidth
33. Today - Only TEA and no CAAffee. But Tomorrow?
34. From the Square to Octahedra
35. Propositional and Predicate Logic
36. Derivation and Proofs in the Propositional Logic
37. The Logical Approach of Legal Argumentation
38. The Black Hole in Mathematics
39. From Multi-valued Logics to Fuzzy Logic
40. Structuring Interactions
41. Heráclito: Learning Environment to Teach Logic
42. A Natural Axiom System for Boolean Algebras with Applications
43. Generalizing and Formalizing Precisiation Language to Facilitate Human-Robot Interaction
44. Reconstructing a Logic from Tractatus: Wittgenstein’s Variables and Formulae
45. Propositional Logic from The Principles of Mathematics to Principia Mathematica
46. Quantified Formulas
47. Equality Logic and Uninterpreted Functions
48. Introduction and Basic concepts
49. Decision Procedures for Propositional Logic
50. Propositional and Predicate 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.