The following pages link to Proof theory for fuzzy logics (Q2519539):
Displayed 22 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072) (← links)
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- Fuzzy logics and fuzzy model theory (Q498302) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- A note on standard completeness for some extensions of uninorm logic (Q894654) (← links)
- Logic of approximate entailment in quasimetric spaces (Q899186) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Weakening-free fuzzy logics with the connective \(\Delta\) (Q2391677) (← links)
- The finite model property for semilinear substructural logics (Q2856632) (← links)
- A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648) (← links)
- A Co-inductive Language and Truth Degrees (Q3172837) (← links)
- A Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)