On polynomial semantics for propositional logics
DOI10.1080/11663081.2016.1198529zbMath1398.03134OpenAlexW2497724070MaRDI QIDQ4586158
Oscar E. García-Quintero, Juan C. Agudelo-Agudelo, Carlos A. Agudelo-González
Publication date: 12 September 2018
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2016.1198529
Gröbner basisparaconsistent logicpolynomials over finite fieldsfinite-valued logicpolynomial semanticsnullstellensatz for finite fields
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Many-valued logic (03B50) Paraconsistent logics (03B53)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Multi-valued logic and Gröbner bases with applications to modal logic
- The method of polynomial ring calculus and its potentialities
- Non-deterministic semantics for logics with a consistency operator
- POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES
- Polynomial ring calculus for modalities
- Formal inconsistency and evolutionary databases
- Logics of Formal Inconsistency
This page was built for publication: On polynomial semantics for propositional logics