The method of polynomial ring calculus and its potentialities
DOI10.1016/J.TCS.2015.05.015zbMATH Open1338.03012OpenAlexW336522774MaRDI QIDQ897932FDOQ897932
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
Recommendations
finite fieldsmany-valued logicspolynomial proof systemsparaconsistent logicsformal polynomialslogical derivationnon-deterministic logics
Many-valued logic (03B50) Paraconsistent logics (03B53) Mechanization of proofs and logical operations (03B35)
Cites Work
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- Intuitive semantics for first-degree entailments and `coupled trees'
- Non-deterministic semantics in polynomial format
- Title not available (Why is that?)
- Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
- Non-deterministic semantics for logics with a consistency operator
- How to use finite fields for problems concerning infinite fields
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Fregean axiom and Polish mathematical logic in the \(1920^s\)
- Title not available (Why is that?)
Cited In (6)
- On polynomial semantics for propositional logics
- 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
- 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)
