Pages that link to "Item:Q5215503"
From MaRDI portal
The following pages link to Remarks on Stable Formulas in Intuitionistic Logic (Q5215503):
Displaying 7 items.
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- On stability of a formal concept (Q2385428) (← links)
- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Q2851269) (← links)
- Stable inference as intuitionistic validity (Q4223455) (← links)
- A model of intuitionistic affine logic from stable domain theory (Q4632438) (← links)
- \textsf{NNIL} axioms have the finite model property (Q5224694) (← links)
- Safe Formulas in the General Theory of Stable Models (Preliminary Report) (Q5504689) (← links)