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
many-valued logicshypersequent calculimathematical fuzzy logicsGentzen-type calculiHilbert-type calculiproof theory for nonclassical logics
Fuzzy logic; logic of vagueness (03B52) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Densification of FL chains via residuated frames ⋮ Free-variable semantic tableaux for the logic of fuzzy inequalities ⋮ Proof theory for lattice-ordered groups ⋮ A Co-inductive Language and Truth Degrees ⋮ Constraint tableaux for two-dimensional fuzzy logics ⋮ Basing sequent systems on exclusive-or ⋮ A Standard Internal Calculus for Lewis’ Counterfactual Logics ⋮ Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form ⋮ Weakening-free fuzzy logics with the connective \(\Delta\) ⋮ A cut-free calculus for second-order Gödel logic ⋮ Proof theory for locally finite many-valued logics: semi-projective logics ⋮ Judgement aggregation in non-classical logics ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH ⋮ A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts ⋮ Rational Pavelka logic: the best among three worlds? ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ Dual tableau for monoidal triangular norm logic MTL ⋮ FFNSL: Feed-forward neural-symbolic learner ⋮ Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ On an axiomatic system for the logic of linearly ordered BCI-matrices ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Logic of approximate entailment in quasimetric spaces ⋮ Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger ⋮ Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers ⋮ Many-valued logic and sequence arguments in value theory ⋮ Density revisited ⋮ Effectiveness in RPL, with applications to continuous logic ⋮ Free modal Riesz spaces are Archimedean: a syntactic proof ⋮ Cut Elimination Theorem for Non-Commutative Hypersequent Calculus ⋮ Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ ST, LP and Tolerant Metainferences ⋮ Fuzzy logics and fuzzy model theory ⋮ \(\mathrm{IKT}^\omega\) and Łukasiewicz-models ⋮ A Multiple-Conclusion Calculus for First-Order Gödel Logic ⋮ Expressivity in chain-based modal logics ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ Semilinear substructural logics with the finite embeddability property ⋮ Uninorm logic with the \(n\)-potency axiom ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Fuzzy sets and formal logics ⋮ From games to truth functions: a generalization of Giles's game ⋮ Triangular norm based predicate fuzzy logics ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Unnamed Item ⋮ Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics ⋮ On the construction of uninorms on bounded lattices ⋮ Fregean Description Theory in Proof-Theoretical Setting ⋮ CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME ⋮ Cut Elimination for Gödel Logic with an Operator Adding a Constant ⋮ New complexity results for Łukasiewicz logic ⋮ Giles's game and the proof theory of Łukasiewicz logic ⋮ The logic of pseudo-uninorms and their residua ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ The finite model property for semilinear substructural logics ⋮ Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics ⋮ A proof of the standard completeness for the involutive uninorm logic ⋮ Paraconsistent Gödel modal logic ⋮ Leśniewski's ontology -- proof-theoretic characterization ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ Comments on the Papers