The method of polynomial ring calculus and its potentialities
type: Item
instance of: scholarly article
title: The method of polynomial ring calculus and its potentialities
zbMATH Open document ID: 1338.03012
author: Mariana Matulovic
author: Walter Carnielli
published in: Theoretical Computer Science
publication date: 2015-12-08T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B53
zbMATH DE Number: 6517468
zbMATH Keywords: polynomial proof systems
zbMATH Keywords: many-valued logics
zbMATH Keywords: finite fields
zbMATH Keywords: formal polynomials
zbMATH Keywords: logical derivation
zbMATH Keywords: paraconsistent logics
zbMATH Keywords: non-deterministic logics
MaRDI profile type: Publication
full work available at URL: j.tcs.2015.05.015
OpenAlex ID: W336522774
cites work: Non-deterministic semantics in polynomial format
cites work: POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES
cites work: The Fregean axiom and Polish mathematical logic in the \(1920^s\)
cites work: Q5311062
cites work: Q4777260
cites work: Non-deterministic semantics for logics with a consistency operator
cites work: Q4329287
cites work: Q2973406
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Q3599059
cites work: How to use finite fields for problems concerning infinite fields
DOI: 10.1016/J.TCS.2015.05.015
description: scientific article; zbMATH DE number 6517468