Non-classical elegance for sequent calculus enthusiasts
type: Item
instance of: scholarly article
title: Non-classical elegance for sequent calculus enthusiasts
zbMATH Open document ID: 1417.03200
author: Andreas Fjellstad
published in: Studia Logica
publication date: 2017-04-07T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6702464
zbMATH Keywords: non-classical logics
zbMATH Keywords: non-transitive logic
zbMATH Keywords: non-reflexive logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: logics of truth
MaRDI profile type: Publication
full work available at URL: s11225-016-9683-y
OpenAlex ID: W2507253025
cites work: Q3837723
cites work: Q3993251
cites work: The truth is never simple
cites work: HOW A SEMANTICS FOR TONK SHOULD BE
cites work: Outline of a Theory of Truth
cites work: Kripke and the logic of truth
cites work: Proof analysis in modal logic
cites work: A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
cites work: Gentzen calculi for modal propositional logic
cites work: Q3518425
cites work: A cut-free sequent system for two-dimensional modal logic, and why it matters
cites work: Conservatively extending classical logic with transparent truth
DOI: 10.1007/S11225-016-9683-Y
description: scientific article; zbMATH DE number 6702464