On polynomial semantics for propositional logics

DOI10.1080/11663081.2016.1198529MaRDI QIDQ4586158zbMATH OpenOpenAlexFDO

Authors Juan C. Agudelo-Agudelo, Carlos A. Agudelo-González, Oscar E. García-Quintero

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

finite-valued logicGröbner basisnullstellensatz for finite fieldsparaconsistent logicpolynomial semanticspolynomials over finite fields

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Recommendations

• scientific article; zbMATH DE number 989195
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
• Formal polynomials, heuristics and proofs in logic
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
• The method of polynomial ring calculus and its potentialities

Cites work

• Formal inconsistency and evolutionary databases
• scientific article; zbMATH DE number 517393 (Why is no real title available?)
• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• scientific article; zbMATH DE number 2196615 (Why is no real title available?)
• Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
• Logics of formal inconsistency
• Multi-valued logic and Gröbner bases with applications to modal logic
• 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
• The method of polynomial ring calculus and its potentialities

Cited in

(16)

• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
• Polynomial algorithm of limited propositional deduction
• A logic-algebraic tool for reasoning with knowledge-based systems
• A polynomial model for logics with a prime power number of truth values
• Non-deterministic semantics in polynomial format
• Formal polynomials, heuristics and proofs in logic
• scientific article; zbMATH DE number 989195 (Why is no real title available?)
• scientific article; zbMATH DE number 4181310 (Why is no real title available?)
• Reconciling first-order logic to algebra
• Polynomials, Fragments of Temporal Logic and the Variety DA over Traces
• Factor varieties and symbolic computation
• scientific article; zbMATH DE number 1863392 (Why is no real title available?)
• Polynomial semantics for modal logics
• An inference engine for propositional two-valued logic based on the radical membership problem
• Polynomials, fragments of temporal logic and the variety DA over traces
• The method of polynomial ring calculus and its potentialities

This page was built for publication: On polynomial semantics for propositional logics

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