Pages that link to "Item:Q1782236"
From MaRDI portal
The following pages link to Stable formulas in intuitionistic logic (Q1782236):
Displaying 18 items.
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- Subintuitionistic logics and the implications they prove (Q1788333) (← links)
- On stability of a formal concept (Q2385428) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Q2851269) (← links)
- A Free Logic for Stable Models with Partial Intensional Functions (Q2938505) (← links)
- Stable inference as intuitionistic validity (Q4223455) (← links)
- Stability and General Logics (Q4243913) (← links)
- (Q4553286) (← links)
- On equivalence of infinitary formulas under the stable model semantics (Q4592970) (← links)
- A model of intuitionistic affine logic from stable domain theory (Q4632438) (← links)
- Remarks on Stable Formulas in Intuitionistic Logic (Q5215503) (← links)
- \textsf{NNIL} axioms have the finite model property (Q5224694) (← links)
- Safe Formulas in the General Theory of Stable Models (Preliminary Report) (Q5504689) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)