The following pages link to Valuations: bi, tri, and tetra (Q2278844):
Displaying 9 items.
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- One step is enough (Q2679573) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- Derivability and metainferential validity (Q2679587) (← links)
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY (Q5216975) (← links)
- A family of metainferential logics (Q5742701) (← links)
- Неклассический взгляд на природу значений истинности (Q5882766) (← links)
- Two traditions in abstract valuational model theory (Q6088600) (← links)
- From many-valued consequence to many-valued connectives (Q6088601) (← links)