The following pages link to (Q4856963):
Displaying 8 items.
- A curious dialogical logic and its composition problem (Q484198) (← links)
- Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic (Q877261) (← links)
- Axiomatization of crisp Gödel modal logic (Q2021571) (← links)
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory (Q2388435) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- A Co-inductive Language and Truth Degrees (Q3172837) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
