- Tytuł:
- Valuation graphs for propositional logic
- Autorzy:
- Stępień, L.
- Powiązania:
- https://bibliotekanauki.pl/articles/121964.pdf
- Data publikacji:
- 2010
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
valuation graphs
propositional logic
wykresy wyceny
rachunek zdań - Opis:
- In this paper we present the proof system, called the valuation graphs system, which is a new version of two proof procedures: Davis-Putnam and Stålmarck. The novelty is that in the rules we note which propositional variable occurring in some propositional formula does not determine the logical value of that formula. Due to Stålmarck, we define a notion of proof width, corresponding to the width of structure of valuation graph which is a number of applications of dilemma rule. The dilemma rule considers two cases, so the time of proof grows up exponentially.
- Źródło:
-
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2010, 15; 139-148
2450-9302 - Pojawia się w:
- Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
- Dostawca treści:
- Biblioteka Nauki
Artykuł