Natural deduction for Post's logics and their duals

DOI10.1007/S11787-018-0190-YzbMath1456.03047OpenAlexW2800354409WikidataQ130043215 ScholiaQ130043215MaRDI QIDQ1653550

Yaroslav I. Petrukhin

Publication date: 6 August 2018

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-018-0190-y

zbMATH Keywords

proof theorymany-valued logicnatural deductioncyclic negationdual Post logicPost's logicPost's negation

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Related Items (4)

Generalized correspondence analysis for three-valued logics ⋮ Universal logic: evolution of a project ⋮ On Vidal's trivalent explanations for defective conditional in mathematics ⋮ A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic approach to non-classical logics
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• The number of maximal closed classes in the set of functions over a finite domain
• AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
• COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
• Aximos and some properties of Post algebras
• Gentzen's Method for the Many‐Valued Propositional Calculi
• Sequents in many valued logic I
• Post algebras as semantic bases of some many-valued logics
• Sequents in many valued logic II
• Poet algebras and pseudo-Post algebras
• The Lattice Theory of Post Algebras
• Post Algebras. I. Postulates and General Theory

This page was built for publication: Natural deduction for Post's logics and their duals