Semantic investigation of canonical Gödel hypersequent systems

DOI10.1093/LOGCOM/EXT029zbMath1396.03059OpenAlexW1994019960MaRDI QIDQ2804332

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

zbMATH Keywords

canonical systemsproof theoryGödel logicnondeterministic semanticshypersequents

Mathematics Subject Classification ID

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

Related Items (2)

A cut-free calculus for second-order Gödel logic ⋮ Compositional meaning in logic

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