The following pages link to (Q3973194):
Displaying 12 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Some results on intermediate constructive logics (Q583197) (← links)
- Implicit epistemic aspects of constructive logic (Q1357674) (← links)
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- Constructive agents (Q1688949) (← links)
- A theory of rules for enumerated classes of functions (Q1805407) (← links)
- The logic of sortals. A conceptualist approach (Q2686873) (← links)
- (Q3338238) (← links)
- First-order theories from a constructive (''naive'') point of view: Constructive compatibility of mathematical and philosophical principles in a ''large'' deductive system (Q3973572) (← links)
- (Q5490623) (← links)
- Formalization as the Immanent Part of Logical Solving (Q5742202) (← links)
- Decidable variables for constructive logics (Q6047667) (← links)