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

DOI10.1007/s00153-004-0265-8zbMath1071.03012MaRDI 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 sense; hypersequent calculi, globalization

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03F05: Cut-elimination and normal-form theorems

03B50: Many-valued logic

Related Items

Hypersequent calculi for intuitionistic logic with classical atoms, Hypersequent and display calculi -- a unified perspective, First-order Gödel logics, A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains

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