Proof theory for fuzzy logics

From MaRDI portal
Publication:2519539

DOI10.1007/978-1-4020-9409-5zbMath1168.03002OpenAlexW607239742MaRDI QIDQ2519539

George Metcalfe, Nicola Olivetti, Dov M. Gabbay

Publication date: 26 January 2009

Published in: Applied Logic Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-9409-5




Related Items

Densification of FL chains via residuated framesFree-variable semantic tableaux for the logic of fuzzy inequalitiesProof theory for lattice-ordered groupsA Co-inductive Language and Truth DegreesConstraint tableaux for two-dimensional fuzzy logicsBasing sequent systems on exclusive-orA Standard Internal Calculus for Lewis’ Counterfactual LogicsInfinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex FormWeakening-free fuzzy logics with the connective \(\Delta\)A cut-free calculus for second-order Gödel logicProof theory for locally finite many-valued logics: semi-projective logicsJudgement aggregation in non-classical logicsLINEAR TIME IN HYPERSEQUENT FRAMEWORKRUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACHA non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contextsRational Pavelka logic: the best among three worlds?A note on standard completeness for some extensions of uninorm logicDual tableau for monoidal triangular norm logic MTLFFNSL: Feed-forward neural-symbolic learnerGlivenko sequent classes and constructive cut elimination in geometric logicsComparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka LogicOn an axiomatic system for the logic of linearly ordered BCI-matricesProof theory of paraconsistent weak Kleene logicLogic of approximate entailment in quasimetric spacesDung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine daggerAutomated theorem provers for multiple-valued logics with satisfiability modulo theory solversMany-valued logic and sequence arguments in value theoryDensity revisitedEffectiveness in RPL, with applications to continuous logicFree modal Riesz spaces are Archimedean: a syntactic proofCut Elimination Theorem for Non-Commutative Hypersequent CalculusRepetition-free and infinitary analytic calculi for first-order rational Pavelka logicThe standard completeness of interval-valued monoidal t-norm based logicHypersequent Calculi for S5: The Methods of Cut EliminationST, LP and Tolerant MetainferencesFuzzy logics and fuzzy model theory\(\mathrm{IKT}^\omega\) and Łukasiewicz-modelsA Multiple-Conclusion Calculus for First-Order Gödel LogicExpressivity in chain-based modal logicsImplicational (semilinear) logics. III: Completeness propertiesBasic substructural core fuzzy logics and their extensions: mianorm-based logicsBOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICSSemilinear substructural logics with the finite embeddability propertyUninorm logic with the \(n\)-potency axiomHypersequent and display calculi -- a unified perspectiveFuzzy sets and formal logicsFrom games to truth functions: a generalization of Giles's gameTriangular norm based predicate fuzzy logicsA generalized proof-theoretic approach to logical argumentation based on hypersequentsUnnamed ItemHypersequent Systems for the Admissible Rules of Modal and Intermediate LogicsOn the construction of uninorms on bounded latticesFregean Description Theory in Proof-Theoretical SettingCUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIMECut Elimination for Gödel Logic with an Operator Adding a ConstantNew complexity results for Łukasiewicz logicGiles's game and the proof theory of Łukasiewicz logicThe logic of pseudo-uninorms and their residuaFree Definite Description Theory – Sequent Calculi and Cut EliminationThe finite model property for semilinear substructural logicsLogics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logicsA proof of the standard completeness for the involutive uninorm logicParaconsistent Gödel modal logicLeśniewski's ontology -- proof-theoretic characterizationIntroduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)Comments on the Papers