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

zbMATH Keywords

Gröbner basisparaconsistent logicpolynomials over finite fieldsfinite-valued logicpolynomial semanticsnullstellensatz for finite fields

Mathematics Subject Classification ID

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)

A logic-algebraic tool for reasoning with knowledge-based systems ⋮ Polynomial semantics for modal logics

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