Reprint of: ``A more general general proof theory''
type: Item
instance of: scholarly article
title: Reprint of: ``A more general general proof theory''
zbMATH Open document ID: 1436.03295
author: Heinrich Wansing
published in: Journal of Applied Logic
publication date: 2018-01-31T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 6832782
zbMATH Keywords: proofs
zbMATH Keywords: dual proofs
zbMATH Keywords: negation
zbMATH Keywords: co-implication
zbMATH Keywords: 2Int
zbMATH Keywords: bi-intuitionistic logic
zbMATH Keywords: dual intuitionistic logic
zbMATH Keywords: normal form
zbMATH Keywords: assertion
zbMATH Keywords: denial
zbMATH Keywords: compositionality
zbMATH Keywords: bilateralism
MaRDI profile type: Publication
full work available at URL: j.jal.2017.12.003
OpenAlex ID: W2771528016
cites work: Constructible falsity and inexact predicates
cites work: Q4817205
cites work: Q4856189
cites work: PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS
cites work: Q2721200
cites work: Q5812175
cites work: ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
cites work: Some comments on Ian Rumfitt's bilateralism
cites work: Q4360856
cites work: Logic: a history of its central concepts
cites work: Cut-elimination and proof search for bi-intuitionistic tense logic
cites work: Q5559220
cites work: Q5632554
cites work: On the idea of a general proof theory
cites work: Explaining Deductive Inference
cites work: Doubt truth to be a liar
cites work: Q4843182
cites work: Q3884093
cites work: Q5483305
cites work: Q4903811
cites work: Truth and falsehood. An inquiry into generalized logical values
cites work: ``Inference versus consequence'' revisited: inference, consequence, conditional, implication
cites work: Natural deduction for dual-intuitionistic logic
cites work: Constructive negation, implication, and co-implication
cites work: Proofs, disproofs, and their duals
cites work: Falsification, natural deduction and bi-intuitionistic logic
cites work: On Split Negation, Strong Negation, Information, Falsification, and Verification
DOI: 10.1016/J.JAL.2017.12.003
Recommended article: A more general general proof theory
Recommended article: A theorem on generalizations of proofs
Recommended article: An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited
Recommended article: General proof theory: introduction
Recommended article: Q3786479
Recommended article: The fundamental problem of general proof theory
Recommended article: On the proof-theoretic foundation of general definition theory
Recommended article: Q4459910
Recommended article: The foundation of a generic theorem prover
Recommended article: Q3999386
description: scientific article; zbMATH DE number 6832782