Pages that link to "Item:Q1045994"
From MaRDI portal
The following pages link to Encoding deductive argumentation in quantified Boolean formulae (Q1045994):
Displaying 8 items.
- Algorithms for generating arguments and counterarguments in propositional logic (Q648354) (← links)
- Deductive argumentation by enhanced sequent calculi and dynamic derivations (Q1744402) (← links)
- Encoding nested Boolean functions as quantified Boolean formulas (Q2786912) (← links)
- Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (Q2843325) (← links)
- Proving Valid Quantified Boolean Formulas in HOL Light (Q3088006) (← links)
- The Complexity of the Warranted Formula Problem in Propositional Argumentation (Q3553918) (← links)
- Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic (Q5040795) (← links)
- Generic logical encoding for argumentation (Q6042098) (← links)