The following pages link to Calculi for many-valued logics (Q2045004):
Displaying 13 items.
- Many-valued computational logics (Q912083) (← links)
- Sequent calculi for choice logics (Q2104520) (← links)
- Structural rules for multi-valued logics (Q2418014) (← links)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- Formalisations of Many‐Valued Propositional Calculi with Variable Functors (Q3347858) (← links)
- (Q4955605) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- A Generalization of Falsity in Finitely-many Valued Logics (Q5038568) (← links)
- A Note on Calculi for Non-deterministic Many-valued Logics (Q5038570) (← links)
- Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms (Q5450567) (← links)
- (Q5480560) (← links)
- Sequent calculi for choice logics (Q6552502) (← links)
- Truth-value constants in multi-valued logics (Q6612877) (← links)