A proof-theoretical investigation of global intuitionistic (fuzzy) logic

DOI10.1007/S00153-004-0265-8zbMath1071.03012OpenAlexW2065076866MaRDI QIDQ1778065

Agata Ciabattoni

Publication date: 26 May 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0265-8

zbMATH Keywords

fuzzy logic in narrow sensehypersequent calculi, globalization

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Related Items (5)

First-order Gödel logics ⋮ \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new? ⋮ Hypersequent calculi for intuitionistic logic with classical atoms ⋮ A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains ⋮ Hypersequent and display calculi -- a unified perspective

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. 2nd ed
• Globalization of intuitionistic set theory
• On some intuitionistic modal logics
• Metamathematics of fuzzy logic
• Hypersequents, logical consequence and intermediate logics for concurrency
• Untersuchungen über das logische Schliessen. I
• Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
• A propositional calculus with denumerable matrix
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Completeness of global intuitionistic set theory
• The Semantic Completeness of a Global Intuitionistic Logic
• Editorial
• Decidability of some intuitionistic predicate theories

This page was built for publication: A proof-theoretical investigation of global intuitionistic (fuzzy) logic