Reconciling First-Order Logic to Algebra (Q3305345)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Reconciling First-Order Logic to Algebra	scientific article

Statements

scholarly article

0 references

Reconciling First-Order Logic to Algebra (English)

0 references

Mariana Matulovic

0 references

Walter Alexandre Carnielli

0 references

Hugo Luiz Mariano

0 references

Trends in Logic

0 references

publication date

6 August 2020

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-98797-2_13

0 references

POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES

0 references

0 references

Universal logic: An anthology. From Paul Hertz to Dov Gabbay

0 references

Algebraizable logics

0 references

0 references

0 references

0 references

Logics of Formal Inconsistency

0 references

Non-deterministic semantics in polynomial format

0 references

0 references

Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti

0 references

Cylindric algebras. Part II

0 references

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-98797-2_13

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3305345

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3305345&oldid=36605544"