The following pages link to (Q2744125):
Displayed 14 items.
- An ecumenical notion of entailment (Q6067097) (← links)
- Proof-theoretic pluralism (Q6088951) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)
- Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation (Q6117325) (← links)
- Paraconsistent logic and query answering in inconsistent databases (Q6117329) (← links)
- An infinity of intuitionistic connexive logics (Q6132580) (← links)
- A novel approach to equality (Q6142508) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)
- Is, ought, and cut (Q6166130) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
- Core Type Theory (Q6200463) (← links)
- On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) (Q6200464) (← links)