Proof theory for fuzzy logics
From MaRDI portal
Publication:2519539
DOI10.1007/978-1-4020-9409-5zbMath1168.03002MaRDI QIDQ2519539
Dov M. Gabbay, Nicola Olivetti, George Metcalfe
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 logics; hypersequent calculi; mathematical fuzzy logics; Gentzen-type calculi; Hilbert-type calculi; proof theory for nonclassical logics
03B52: Fuzzy logic; logic of vagueness
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B50: Many-valued logic
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
Densification of FL chains via residuated frames, Proof theory for lattice-ordered groups, Proof theory for locally finite many-valued logics: semi-projective logics, On an axiomatic system for the logic of linearly ordered BCI-matrices, The standard completeness of interval-valued monoidal t-norm based logic, Fuzzy logics and fuzzy model theory, Dual tableau for monoidal triangular norm logic MTL, Effectiveness in RPL, with applications to continuous logic, Uninorm logic with the \(n\)-potency axiom, A note on standard completeness for some extensions of uninorm logic, Logic of approximate entailment in quasimetric spaces, Giles's game and the proof theory of Łukasiewicz logic, Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger, From games to truth functions: a generalization of Giles's game, Hypersequent and display calculi -- a unified perspective, Triangular norm based predicate fuzzy logics, Weakening-free fuzzy logics with the connective \(\Delta\), The finite model property for semilinear substructural logics, A Multiple-Conclusion Calculus for First-Order Gödel Logic, A Co-inductive Language and Truth Degrees, A Standard Internal Calculus for Lewis’ Counterfactual Logics, Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics