Original title:
Complexity of the Propositional Tautology Problem for t-norm Logics
Authors:
Haniková, Zuzana Document type: Papers Conference/Event: Doktorandský den '02, Praha (CZ), 2002-10-17
Year:
2002
Language:
eng
Keywords:
complexity; propositional calculus; t-norm logic Project no.: AV0Z1030915 (CEP), IAA1030004 (CEP) Funding provider: GA AV ČR Host item entry: Doktorandský den '02
Rights: This work is protected under the Copyright Act No. 121/2000 Coll.