Dual-intuitionistic logic
type: Item
instance of: scholarly article
title: Dual-intuitionistic logic
zbMATH Open document ID: 0869.03008
author: Igor Urbas
published in: Notre Dame Journal of Formal Logic
publication date: 1997-09-02T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03E70
zbMATH DE Number: 1011144
zbMATH Keywords: duality
zbMATH Keywords: pseudo-difference
zbMATH Keywords: cut-elimination
zbMATH Keywords: sequent system \({\mathbf L}{\mathbf D}{\mathbf J}\)
zbMATH Keywords: Gentzen's intuitionistic sequent system \({\mathbf L}{\mathbf J}\)
zbMATH Keywords: dual of intuitionistic implication
zbMATH Keywords: decidability
zbMATH Keywords: Set Theory with Unrestricted Comprehension Schema
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1039886520
OpenAlex ID: W2058093611
cites work: Q4178997
cites work: A remark on Gentzen's calculus of sequents
cites work: Q5610986
cites work: The Logic of Contradiction
DOI: 10.1305/NDJFL/1039886520
Recommended article: Q2721200
Recommended article: Q4539745
Recommended article: A note on dual-intuitionistic logic
Recommended article: Natural deduction for dual-intuitionistic logic
Recommended article: Q4342082
Recommended article: Q4532197
Recommended article: Q3466602
Recommended article: Duality in Logic and Computation
Recommended article: A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
Recommended article: Q5144635
description: scientific article; zbMATH DE number 1011144