Semantic investigation of canonical Gödel hypersequent systems

DOI10.1093/LOGCOM/EXT029zbMATH Open1396.03059OpenAlexW1994019960MaRDI QIDQ2804332FDOQ2804332

Authors: Ori Lahav 

Publication date: 28 April 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1fe95d4eba72cb5795bd06771efa54ba6e2dcccb

Recommendations

• scientific article; zbMATH DE number 1531380
• Hypersequent Calculi for Godel Logics -- a Survey
• Quasi-canonical systems and their semantics
• A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
• scientific article; zbMATH DE number 1980935
• scientific article; zbMATH DE number 7109521
• scientific article; zbMATH DE number 1285754
• A systematic approach to canonicity in the classical sequent calculus
• scientific article; zbMATH DE number 1612545
• scientific article; zbMATH DE number 1099367

zbMATH Keywords

proof theorynondeterministic semanticshypersequentscanonical systemsGödel logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Cited In (8)

• Hyper natural deduction
• Hyper natural deduction for Gödel logic -- a natural deduction system for parallel reasoning
• Non-deterministic connectives in propositional Gödel logic
• A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
• A cut-free calculus for second-order Gödel logic
• Compositional meaning in logic
• A unified semantic framework for fully structural propositional sequent systems
• A multiple-conclusion calculus for first-order Gödel logic

This page was built for publication: Semantic investigation of canonical Gödel hypersequent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804332)