Logical connectives for constructive modal logic
type: Item
instance of: scholarly article
title: Logical connectives for constructive modal logic
zbMATH Open document ID: 1111.03019
author: Heinrich Wansing
published in: Synthese
publication date: 2006-12-20T00:00:00Z
review text: Model-theoretic proofs of functional completeness along the lines of [\textit{D. P. McCullough}, J. Symb. Log. 36, 15--20 (1971; Zbl 0216.28801)] are given for various constructive modal propositional logics with strong negation.
reviewed by: Giacomo Bonanno
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5080777
zbMATH Keywords: functional completeness
zbMATH Keywords: modal logic
zbMATH Keywords: strong negation
zbMATH Keywords: intuitionistic propositional logic
MaRDI profile type: Publication
full work available at URL: s11229-005-5518-5
OpenAlex ID: W2032063603
cites work: Constructible falsity and inexact predicates
cites work: Q3122692
cites work: Q4342083
cites work: What is Logic?
cites work: Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
cites work: Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
cites work: Logical connectives for intuitionistic propositional logic
cites work: Q3367330
cites work: Q4192055
cites work: A natural extension of natural deduction
cites work: Functional completeness for subsystems of intuitionistic propositional logic
cites work: Tarskian Structured Consequence Relations and Functional Completeness
cites work: The idea of a proof-theoretic semantics and the meaning of the logical operations
DOI: 10.1007/S11229-005-5518-5
description: scientific article; zbMATH DE number 5080777