The method of polynomial ring calculus and its potentialities

DOI10.1016/J.TCS.2015.05.015MaRDI QIDQ897932zbMATH OpenOpenAlexFDO

Authors Mariana Matulovic, Walter Carnielli

Publication date 8 December 2015

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2015.05.015

zbMATH Keywords

finite fieldsmany-valued logicspolynomial proof systemsparaconsistent logicsformal polynomialslogical derivationnon-deterministic logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Mechanization of proofs and logical operations (03B35)

Recommendations

• Formal polynomials, heuristics and proofs in logic
• Non-deterministic semantics in polynomial format
• Polynomial ring calculus for modalities
• Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
• On polynomial semantics for propositional logics

Cites work

• scientific article; zbMATH DE number 6699702 (Why is no real title available?)
• scientific article; zbMATH DE number 1735924 (Why is no real title available?)
• scientific article; zbMATH DE number 3453564 (Why is no real title available?)
• scientific article; zbMATH DE number 2196615 (Why is no real title available?)
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• How to use finite fields for problems concerning infinite fields
• Intuitive semantics for first-degree entailments and `coupled trees'
• Non-deterministic semantics for logics with a consistency operator
• Non-deterministic semantics in polynomial format
• Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)

Cited in

(8)

• On polynomial semantics for propositional logics
• Non-deterministic semantics in polynomial format
• The Ring of Real-Valued Multivariate Polynomials: An Analyst’s Perspective
• Polynomial semantics for modal logics
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations
• Polynomial ring calculus for modalities
• Formal polynomials, heuristics and proofs in logic
• Polynomial ring calculus for modal logics: a new semantics and proof method for modalities

This page was built for publication: The method of polynomial ring calculus and its potentialities

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