The following pages link to (Q4856963):
Displaying 13 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)
- The Logic of Bunched Implications (Q4262604) (← links)
- Powerset Residuated Algebras and Generalized Lambek Calculus (Q4333470) (← links)
- Substructural epistemic logics (Q4586145) (← links)
- Sorites, Curry and Suitable Models (Q5006842) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097) (← links)
