A cut-free calculus for second-order Gödel logic
type: Item
instance of: scholarly article
title: A cut-free calculus for second-order Gödel logic
zbMATH Open document ID: 1388.03030
author: Ori Lahav
author: Arnon Avron
published in: Fuzzy Sets and Systems
publication date: 2017-11-10T00:00:00Z
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6805413
zbMATH Keywords: proof theory
zbMATH Keywords: cut-admissibility
zbMATH Keywords: second-order logic
zbMATH Keywords: non-classical logics
zbMATH Keywords: fuzzy logics
zbMATH Keywords: Gödel logic
zbMATH Keywords: non-deterministic semantics
MaRDI profile type: Publication
full work available at URL: j.fss.2015.01.017
OpenAlex ID: W2023659949
cites work: Metamathematics of fuzzy logic
cites work: Handbook of mathematical fuzzy logic. Volume 1
cites work: On fuzzy type theory
cites work: Proof theory for fuzzy logics
cites work: Hypersequents, logical consequence and intermediate logics for concurrency
cites work: Q3837723
cites work: Q2753673
cites work: Herbrand Theorems for Substructural Logics
cites work: Q3773876
cites work: Proof theory
cites work: Fuzzy class theory
cites work: Q5822068
cites work: Syntactical and semantical properties of simple type theory
cites work: A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
cites work: A semantic proof of strong cut-admissibility for first-order Godel logic
cites work: Semantic investigation of canonical Gödel hypersequent systems
cites work: Canonical calculi with (n,k)-ary quantifiers
cites work: Hypersequent Calculi for Godel Logics -- a Survey
cites work: A proof of cut-elimination theorem in simple type-theory
cites work: Hauptsatz for higher order logic
DOI: 10.1016/J.FSS.2015.01.017
Recommended article: Q4412849
Recommended article: Sequent calculi for intuitionistic Gödel-Löb logic
Recommended article: Q2721191
Recommended article: A semantic proof of strong cut-admissibility for first-order Godel logic
Recommended article: Hypersequent Calculi for Godel Logics -- a Survey
Recommended article: Cut Elimination for First Order Gödel Logic by Hyperclause Resolution
Recommended article: A deterministic terminating sequent calculus for Godel-Dummett logic
Recommended article: A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
Recommended article: Noetherian Gödel logics
description: scientific article; zbMATH DE number 6805413