The following pages link to Proof theory for fuzzy logics (Q2519539):
Displaying 50 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)
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← 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)
- A cut-free calculus for second-order Gödel logic (Q1677040) (← links)
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- Density revisited (Q1699744) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728) (← links)
- \(\mathrm{IKT}^\omega\) and Łukasiewicz-models (Q1982009) (← links)
- Semilinear substructural logics with the finite embeddability property (Q1991589) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- On the construction of uninorms on bounded lattices (Q2035354) (← links)
- Paraconsistent Gödel modal logic (Q2104534) (← links)
- Leśniewski's ontology -- proof-theoretic characterization (Q2104542) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- Basing sequent systems on exclusive-or (Q2142068) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- New complexity results for Łukasiewicz logic (Q2317509) (← links)
- The logic of pseudo-uninorms and their residua (Q2335051) (← links)
- Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics (Q2337882) (← links)
- A proof of the standard completeness for the involutive uninorm logic (Q2337894) (← links)
- Free-variable semantic tableaux for the logic of fuzzy inequalities (Q2364294) (← links)
- Weakening-free fuzzy logics with the connective \(\Delta\) (Q2391677) (← links)
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts (Q2677854) (← links)
- Free modal Riesz spaces are Archimedean: a syntactic proof (Q2695359) (← links)
- Cut Elimination for Gödel Logic with an Operator Adding a Constant (Q2820683) (← links)
- The finite model property for semilinear substructural logics (Q2856632) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648) (← links)
- A Co-inductive Language and Truth Degrees (Q3172837) (← links)
- ST, LP and Tolerant Metainferences (Q3305673) (← links)
- A Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324) (← links)
