Pages that link to "Item:Q4649731"
From MaRDI portal
The following pages link to Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731):
Displaying 9 items.
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Propositional Compilation for All Normal Parameter Reductions of a Soft Set (Q2949608) (← links)
- Applying Association Rules to ε-Reduction of Finite Theory in Two-Valued Propositional Logic (Q3145144) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- (Q3838815) (← links)
- A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic (Q4809578) (← links)
- (Q4809790) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)