Natural deduction for Post's logics and their duals
type: Item
instance of: scholarly article
title: Natural deduction for Post's logics and their duals
zbMATH Open document ID: 1456.03047
published in: Logica Universalis
publication date: 2018-08-06T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 6913949
zbMATH Keywords: natural deduction
zbMATH Keywords: Post's logic
zbMATH Keywords: Post's negation
zbMATH Keywords: cyclic negation
zbMATH Keywords: dual Post logic
zbMATH Keywords: many-valued logic
zbMATH Keywords: proof theory
author: Yaroslav I. Petrukhin
MaRDI profile type: Publication
full work available at URL: s11787-018-0190-y
OpenAlex ID: W2800354409
cites work: Q5526948
cites work: Q5559563
cites work: Q4141243
cites work: Sequents in many valued logic II
cites work: AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
cites work: The Lattice Theory of Post Algebras
cites work: A treatise on many-valued logics
cites work: Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
cites work: Gentzen's Method for the Many‐Valued Propositional Calculi
cites work: Post algebras as semantic bases of some many-valued logics
cites work: COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
cites work: Q5675345
cites work: An algebraic approach to non-classical logics
cites work: Q4113830
cites work: Q5661846
cites work: The number of maximal closed classes in the set of functions over a finite domain
cites work: Post Algebras. I. Postulates and General Theory
cites work: Sequents in many valued logic I
cites work: Q4770382
cites work: Poet algebras and pseudo-Post algebras
cites work: Q4982110
cites work: Aximos and some properties of Post algebras
cites work: Q5557882
cites work: Q5561935
Wikidata QID: Q130043215
DOI: 10.1007/S11787-018-0190-Y
description: scientific article; zbMATH DE number 6913949