Complexity issues in Basic Logic (Q816857): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Varieties of BL-algebras. I: General properties. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finiteness in infinite-valued Łukasiewicz logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite-valued reductions of infinite-valued logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Embedding logics into product logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of t-tautologies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semi-normal forms and functional representation of product fuzzy logic. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Residuated fuzzy logics with an involutive negation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equational characterization of the subvarieties of BL generated by t-norm algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5687941 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on functions associated with Gödel formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4289327 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Many-valued logic and mixed integer programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metamathematics of fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Standard algebras for fuzzy propositional calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theorem about infinite-valued sentential logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the structure of semi-groups on a compact manifold with boundary / rank
 
Normal rank
Property / cites work
 
Property / cites work: Satisfiability in many-valued sentential logic is NP-complete / rank
 
Normal rank
Property / cites work
 
Property / cites work: A constructive proof of McNaughton's theorem in infinite-valued logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4269081 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fragments of Many-Valued Statement Calculi / rank
 
Normal rank

Revision as of 10:42, 24 June 2024

scientific article
Language Label Description Also known as
English
Complexity issues in Basic Logic
scientific article

    Statements

    Complexity issues in Basic Logic (English)
    0 references
    2 March 2006
    0 references
    survey
    0 references
    propositional many-valued logics
    0 references
    satisfiability
    0 references
    tautology
    0 references
    complexity bounds
    0 references
    0 references
    0 references
    0 references

    Identifiers