A paraconsistent extension of Sylvan’s logic

DOI10.1007/S10469-007-0029-8zbMath1164.03311OpenAlexW1994030515MaRDI QIDQ3546092

A. B. Gordienko

Publication date: 18 December 2008

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-007-0029-8

zbMATH Keywords

completeness theoremconservative extensionpositive intuitionistic logicSylvan's logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (3)

Negative Modalities in the Light of Paraconsistency ⋮ Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations ⋮ Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations

This page was built for publication: A paraconsistent extension of Sylvan’s logic