Suggested Topics within your search.
Showing 141 - 160 results of 273 for search '"propositional logic"', query time: 3.19s Refine Results
  1. 141
    A logic for finite games /
    by Mackling, Thomas.
    Published 1991
    “... equivalent formulae and is itself adequate for K, the weakest normal propositional logic with one (principal...”
    Get full text
    Others
  2. 142
    Learning and inference in weighted logic with application to natural language processing
    by Culotta, Aron
    Published 2008
    “... processing problems can be more meaningfully expressed in first-order logic rather than propositional logic...”
    Get full text
  3. 143
    How generalizable is good judgment? A multi-task, multi-benchmark study
    “... are coherent if they demonstrate consistency with the axioms of probability theory or propositional logic...”
    Get full text
    Article
  4. 144
    Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
    “... the develop-ment of an algebra for “many” and also a propositional logic for many. In a similar way...”
    Get full text
    Others
  5. 145
    Classification en complexité de problèmes de raisonnement non-monotone et d' énumération
    by Schmidt, Johannes
    Published 2012
    “.... Considered in full propositional logic these problems are believed to be computationally costly tasks...”
    Get full text
  6. 146
    The Systems of Post and Post Algebras: A Demonstration of an Obvious Fact
    by Leyva, Daviel
    Published 2019
    “... is given. After an elemental history of many–valued logic and a review of basic Classical Propositional...”
    Get full text
    Get full text
    Others
  7. 147
    Towards a Notion of Basis for Knowledge-Based Systems — Applications
    “.... In this work, a notion of basis (and dimension) for Knowledge Bases in Propositional Logic associated...”
    Get full text
    Article
  8. 148
    Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science
    by Glivická Jana
    Published 2018-01-01
    “... of an introductory course of predicate and propositional logic prove to be beneficial to students’ understanding...”
    Get full text
    Article
  9. 149
    α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
    by Xiaomei Zhong, Yang Xu, Jun Liu, Shuwei Chen
    Published 2014-06-01
    “... in lattice-valued propositional logic LP(X) is established by combining the lock and semantic resolution...”
    Get full text
    Article
  10. 150
    The Philosophy of Ecology and Sustainability: New Logical and Informational Dimensions
    by Joseph E. Brenner
    Published 2018-05-01
    “... as well as obvious. In this paper, I propose that a new, non-standard and non-propositional logic of real...”
    Get full text
    Article
  11. 151
    On the Expressive Power of Sub-Propositional Fragments of Modal Logic
    “.... It generally retains the low complexity of classical propositional logic, but notable exceptions exist...”
    Get full text
    Article
  12. 152
    Fuzzy Multi-dimensional Analysis and Resolution Operation
    by Alexandr Savinov
    Published 1999-02-01
    “... generalization of propositional logic. Methods for finding prime disjunctions, projection on a variable (thus...”
    Get full text
    Article
  13. 153
    The Laws of Natural Deduction in Inference by DNA Computer
    by Łukasz Rogowski, Petr Sosík
    Published 2014-01-01
    “... of the propositional logic, that is, propositions and formulas. The protocol can perform inference steps using...”
    Get full text
    Article
  14. 154
    Relation Between Be-Algebras and G-Hilbert Algebras
    by Rezaei Akbar, Saeid Arsham Borumand
    Published 2018-06-01
    “... be considered as fragments of any propositional logic containing a logical connective implication...”
    Get full text
    Article
  15. 155
    Contentual approach to negation1
    by Łukowski Piotr Ł
    Published 2018-06-01
    “...). The propositional logic with the connective of the content implication, as it is a non-Fregean logic, proposes a...”
    Get full text
    Article
  16. 156
    Qualitative spatial reasoning with super-intuitionistic logics
    by Torrini, Paolo
    Published 2003
    “... extensions of intuitionistic propositional logic. These can be obtained by adding to the basic logic...”
    Get full text
  17. 157
    ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS
    by CECILIA REIS ENGLANDER LUSTOSA
    Published 2014
    “... presented a general completeness proof for propositional logics. For this purpose, a Natural Deduction...”
    Get full text
    Get full text
  18. 158
    Formulas of first-order logic in distributive normal form
    by Nelte, Karen
    Published 2014
    “... for propositional logic. However, there are some significant differences between these two normal forms, caused...”
    Get full text
    Dissertation
  19. 159
    ACO with Intuitionistic Fuzzy Pheromone Updating Applied on Multiple-Constraint Knapsack Problem
    by Stefka Fidanova, Krassimir Todorov Atanassov
    Published 2021-06-01
    “... every iteration according quality of the achieved solutions. The intuitionistic fuzzy (propositional...”
    Get full text
    Article
  20. 160
    Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
    by Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen
    Published 2018-01-01
    “... is introduced for a lattice-valued propositional logic LP(X) based on LIA, which is essentially a non-clausal...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search