On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{b6b5f028a2ed40f786a25c8c7c3e8bd8,

title = "On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic",

author = "X.X. He and J Liu and Y. Xu and L. Martinez and D. Ruan",

year = "2012",

month = jun,

doi = "10.1093/jigpal/JZR007",

language = "English",

volume = "20",

pages = "579--588",

journal = "Logic Journal of the IGPL",

issn = "1368-9894",

publisher = "Oxford University Press",

number = "3",

}

TY - JOUR

T1 - On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic

AU - He, X.X.

AU - Liu, J

AU - Xu, Y.

AU - Martinez, L.

AU - Ruan, D.

PY - 2012/6

Y1 - 2012/6

U2 - 10.1093/jigpal/JZR007

DO - 10.1093/jigpal/JZR007

M3 - Article

SN - 1368-9894

VL - 20

SP - 579

EP - 588

JO - Logic Journal of the IGPL

JF - Logic Journal of the IGPL

IS - 3

ER -