Pages that link to "Item:Q3486545"
From MaRDI portal
The following pages link to The equivalence of the disjunction and existence properties for modal arithmetic (Q3486545):
Displaying 9 items.
- The disjunction and existence properties for axiomatic systems of truth (Q1118582) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Provability in principle and controversial constructivistic principles (Q1372941) (← links)
- On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
- (Q3760513) (← links)
- Disjunction and existence under implication in elementary intuitionistic formalisms (Q3851084) (← links)
- Extended disjunction and existence properties for some predicate modal logics (Q4221774) (← links)
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) (← links)
- DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)