Non-deterministic semantics in polynomial format

DOI10.1016/J.ENTCS.2014.06.003MaRDI QIDQ281146zbMATHOpenAlexWikidataFDO

Authors Mariana Matulovic, Walter Carnielli

Publication date 10 May 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2014.06.003

zbMATH Keywords

complexitymany-valued logicssatisfiabilitynondeterministic semanticspolynomial proof systems

Mathematics Subject Classification ID

Many-valued logic (03B50) Polynomials over finite fields (11T06) Mechanization of proofs and logical operations (03B35)

Recommendations

• The method of polynomial ring calculus and its potentialities
• Polynomial semantics for modal logics
• On polynomial semantics for propositional logics
• Formal polynomials, heuristics and proofs in logic
• scientific article; zbMATH DE number 1127072

Cites work

• Formal polynomials, heuristics and proofs in logic
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logics of formal inconsistency
• Non-deterministic semantics for logics with a consistency operator
• Polynomial ring calculus for modal logics: a new semantics and proof method for modalities

Cited in

(3)

• scientific article; zbMATH DE number 3995073 (Why is no real title available?)
• The method of polynomial ring calculus and its potentialities
• Reconciling first-order logic to algebra

This page was built for publication: Non-deterministic semantics in polynomial format

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281146)