„Propositional Logic“

Suchergebnisse

395 Treffer

• A topological characterization of the stable and minimal model classes of propositional logic programs
  Ferry, Audrey P.
• On the computational cost of disjunctive logic programming: Propositional case
  Eiter, Thomas ; Gottlob, Georg
• An infinite class of maximal intermediate propositional logics with the disjunction property
  Miglioli, Pierangelo
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
  Pavelka, Jan
• The logical consequence relation of propositional tense logic
  Thomason, S. K.
• Functional completeness for subsystems of intuitionistic propositional logic
  Wansing, Heinrich
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
  Pavelka, Jan
• The Complete Axiomatisation of any Many‐Valued Propositional Logic
  Williamson, John
• Ecumenical Propositional Tableau
  Leme, Renato ; Coniglio, Marcelo ; Lopes, Bruno ; Venturi, Giorgio
• A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making
  Wang, Xinxin ; Xu, Zeshui ; Gou, Xunjie
• Sequential composition of propositional logic programs
  Antić, Christian
• Kleene Modules
  Ehm, Thorsten ; Möller, Bernhard ; Struth, Georg 2006 Universität Augsburg
• On the Decidability of Propositional Algorithmic Logic
  Chlebus, Bogdan S.
• Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
  Toyooka, Masanobu ; Sano, Katsuhiko
• α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
  Xu, Weitao ; Zhang, Wenqiang ; Zhang, Dexian ; Xu, Yang ; Pan, Xiaodong
• Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
  Pan, Xiaodong ; Xu, Yang
• α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
  Zhang, Jiafeng ; Xu, Yang ; He, Xingxing
• Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)
  Liu, Yi ; Jia, Hairui ; Xu, Yang
• Informational interpretation of substructural propositional logics
  Wansing, Heinrich
• A pragmatic interpretation of intuitionistic propositional logic
  Pozza, Carlo Dalla ; Garola, Claudio