Axioms for classical, intuitionistic, and paraconsistent hybrid logic
type: Item
instance of: scholarly article
title: Axioms for classical, intuitionistic, and paraconsistent hybrid logic
zbMATH Open document ID: 1108.03033
author: Torben Braüner
published in: Journal of Logic, Language and Information
publication date: 2006-11-17T00:00:00Z
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 5073812
zbMATH Keywords: classical logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: modal logic
zbMATH Keywords: constructive logic
zbMATH Keywords: strong negation
zbMATH Keywords: hybrid logic
zbMATH Keywords: axiom systems
zbMATH Keywords: accessibility relation
zbMATH Keywords: paraconsistent logic
MaRDI profile type: Publication
full work available at URL: s10849-006-9013-2
OpenAlex ID: W2008363667
cites work: Hybrid logics: Characterization, interpolation and complexity
cites work: Nominal tense logic
cites work: Internalizing labelled deduction
cites work: Modal logic
cites work: Pure extensions, proof rules, and hybrid axiomatics
cites work: Hybrid languages and temporal logic
cites work: Natural Deduction for Hybrid Logic
cites work: Two natural deduction systems for hybrid logic: A comparison
cites work: Natural deduction for first-order hybrid logic
cites work: Intuitionistic hybrid logic
cites work: Intuitionistic tense and modal logic
cites work: Q4394920
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Q4463936
DOI: 10.1007/S10849-006-9013-2
Recommended article: A hierarchy of classical and paraconsistent logics
Recommended article: Q4639914
Recommended article: A Hybrid Intuitionistic Logic: Semantics and Decidability
Recommended article: Q3720564
Recommended article: Hybrid logics of separation axioms
Recommended article: Axiomatizing hybrid logic using modal logic
Recommended article: Q5855501
Recommended article: Hybrid logics with Sahlqvist axioms
Recommended article: A proof-theoretic study of the correspondence of hybrid logic and classical logic
Recommended article: Hybrid logic and its proof-theory
description: scientific article; zbMATH DE number 5073812