The following pages link to (Q4364519):
Displaying 16 items.
- On the number of new logical constants in intuitionistic propositional calculus (Q1280312) (← links)
- On propositional quantifiers in provability logic (Q1317986) (← links)
- Proving quantified literals in defeasible logic (Q1818760) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- Quantifiers in logic and proof-search using permissive-nominal terms and sets (Q3195622) (← links)
- Quasi-truth-functional systems of propositional logic (Q3293394) (← links)
- (Q3509173) (← links)
- On second order intuitionistic propositional logic without a universal quantifier (Q3616347) (← links)
- Quantitative deduction and its fixpoint theory (Q3750144) (← links)
- On the complexity of propositional quantification in intuitionistic logic (Q4358053) (← links)
- (Q4944902) (← links)
- (Q5104713) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191595) (← links)
- Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different? (Q5213614) (← links)
- (Q5354752) (← links)
- (Q5579477) (← links)