Proof theory for fuzzy logics
From MaRDI portal
Recommendations
- Mathematical Fuzzy Logics
- Metamathematics of fuzzy logic
- scientific article; zbMATH DE number 2177629
- On theories and models in fuzzy predicate logics
- Mathematical fuzzy logic as a tool for the treatment of vague information
- scientific article; zbMATH DE number 1790409
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- scientific article; zbMATH DE number 956587
- scientific article; zbMATH DE number 1293548
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
Cited in
(78)- Dual tableau for monoidal triangular norm logic MTL
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
- Linear abelian modal logic
- Free-variable semantic tableaux for the logic of fuzzy inequalities
- Constraint tableaux for two-dimensional fuzzy logics
- Semilinear substructural logics with the finite embeddability property
- The finite model property for semilinear substructural logics
- On an axiomatic system for the logic of linearly ordered BCI-matrices
- Proof theory of paraconsistent weak Kleene logic
- scientific article; zbMATH DE number 1670477 (Why is no real title available?)
- Densification of FL chains via residuated frames
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- scientific article; zbMATH DE number 764344 (Why is no real title available?)
- Logic of approximate entailment in quasimetric spaces
- Density revisited
- Glivenko sequent classes and constructive cut elimination in geometric logics
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
- Expressivity in chain-based modal logics
- Implicational (semilinear) logics. III: Completeness properties
- Uninorm logic with the \(n\)-potency axiom
- Proof of theorems in fuzzy logic based on structural resolution
- Proof theory for lattice-ordered groups
- A note on standard completeness for some extensions of uninorm logic
- From games to truth functions: a generalization of Giles's game
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
- Hypersequent calculi for S5: the methods of cut elimination
- Proof theory for locally finite many-valued logics: semi-projective logics
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
- Judgement aggregation in non-classical logics
- A co-inductive language and truth degrees
- Paraconsistent Gödel modal logic
- Cut elimination for Gödel logic with an operator adding a constant
- The logic of pseudo-uninorms and their residua
- ST, LP and tolerant metainferences
- Basing sequent systems on exclusive-or
- New complexity results for Łukasiewicz logic
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- The standard completeness of interval-valued monoidal t-norm based logic
- Cut elimination theorem for non-commutative hypersequent calculus
- On the construction of uninorms on bounded lattices
- scientific article; zbMATH DE number 2177629 (Why is no real title available?)
- Proof theory of Riesz spaces and modal Riesz spaces
- Comments on the Papers
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- Hypersequent and display calculi -- a unified perspective
- Many-valued logic and sequence arguments in value theory
- A cut-free calculus for second-order Gödel logic
- Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics
- \(\mathrm{IKT}^\omega\) and Łukasiewicz-models
- Triangular norm based predicate fuzzy logics
- Rational Pavelka logic: the best among three worlds?
- Effectiveness in RPL, with applications to continuous logic
- Weakening-free fuzzy logics with the connective \(\Delta\)
- Fregean Description Theory in Proof-Theoretical Setting
- Giles's game and the proof theory of Łukasiewicz logic
- Fuzzy refutations for probability and multivalued logics
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- Free Definite Description Theory – Sequent Calculi and Cut Elimination
- Fuzzy Horn logic. I. Proof theory.
- FFNSL: Feed-forward neural-symbolic learner
- scientific article; zbMATH DE number 1222563 (Why is no real title available?)
- A multiple-conclusion calculus for first-order Gödel logic
- Fuzzy logics and fuzzy model theory
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Free modal Riesz spaces are Archimedean: a syntactic proof
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
- A proof of the standard completeness for the involutive uninorm logic
- An order induced by the direct product of \(t\)-norms
- A fuzzy proof theory
- A standard internal calculus for Lewis' counterfactual logics
- A cut-free, sound and complete Russellian theory of definite descriptions
- Fuzzy sets and formal logics
- Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics
- Leśniewski's ontology -- proof-theoretic characterization
This page was built for publication: Proof theory for fuzzy logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2519539)
