[Baa1986] Kripke-Type Semantics for Da Costa's Paraconsistent Logic Cω

Tree

Index

Bibliography

[Baa1986] Kripke-Type Semantics for Da Costa's Paraconsistent Logic $C$ _ω

Baaz86NDJFL (Article)
Author(s)	Baaz M.
Title	"Kripke-Type Semantics for Da Costa's Paraconsistent Logic $C$ _ω"
Date	1986
Journal	Notre Dame Journal of Formal Logic
Volume	27
Number	4
Page(s)	523--527

BibTeX code

@article{Baaz86NDJFL,
  journal = {Notre Dame Journal of Formal Logic},
  volume = {27},
  title = {{Kripke}-Type Semantics for {Da} {Costa}'s Paraconsistent Logic {$C_{\omega}$}},
  author = {Baaz, M.},
  year = {1986},
  pages = {523--527},
  number = {4},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug