Pages that link to "Item:Q3532483"
From MaRDI portal
The following pages link to Rule Calculus: Semantics, Axioms and Applications (Q3532483):
Displaying 5 items.
- Rules and meta-rules in the framework of possibility theory and possibilistic logic (Q1946235) (← links)
- A calculus of tactics and its operational semantics (Q2847396) (← links)
- Hypersequents and Systems of Rules (Q4579958) (← links)
- Derivability of rules from rule complexes (Q4803956) (← links)
- Rule-Generation Theorem and its Applications (Q5742616) (← links)