Axioms for classical, intuitionistic, and paraconsistent hybrid logic

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalJournal of Logic, Language and Information
Volume15
Issue number3
Pages (from-to)179-194
Number of pages16
ISSN0925-8531
Publication statusPublished - 2006

Cite this

@article{bd8343e06d9611dbb485000ea68e967b,
title = "Axioms for classical, intuitionistic, and paraconsistent hybrid logic",
author = "Torben Bra{\"u}ner",
year = "2006",
language = "English",
volume = "15",
pages = "179--194",
journal = "Journal of Logic, Language and Information",
issn = "0925-8531",
publisher = "Springer Netherlands",
number = "3",

}

Axioms for classical, intuitionistic, and paraconsistent hybrid logic. / Braüner, Torben.

In: Journal of Logic, Language and Information, Vol. 15, No. 3, 2006, p. 179-194.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

T1 - Axioms for classical, intuitionistic, and paraconsistent hybrid logic

AU - Braüner, Torben

PY - 2006

Y1 - 2006

M3 - Journal article

VL - 15

SP - 179

EP - 194

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

SN - 0925-8531

IS - 3

ER -