Search the collection

Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 1
ArticlesPeer ReviewedFull Text
Finite axiomatizability of logics of distributive lattices with negation
Author / Creator:Marcelino, Sérgio ; Rivieccio, Umberto
Publisher:Oxford University Press
Journal title:Logic journal of the IGPL, 2023-05, Vol.31 (3), p.510-533
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 2
ArticlesPeer ReviewedFull Text
Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them
Author / Creator:Ahmed, Tarek Sayed
Publisher:Akademiai Kiado
Journal title:Studia scientiarum mathematicarum Hungarica, 2016-09, Vol.53 (3), p.322-378
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 3
ArticlesPeer ReviewedFull Text
Lifting non-finite axiomatizability results to extensions of process algebras
Author / Creator:Aceto, Luca ; Fokkink, Wan ; Ingolfsdottir, Anna ; Mousavi, MohammadReza
Publisher:Berlin/Heidelberg: Springer-Verlag
Journal title:Acta informatica, 2010-05, Vol.47 (3), p.147-177
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 4
ArticlesPeer ReviewedFull Text
On the Equational Base of SMB Algebras
Author / Creator:Đapić, Petar ; Bačević, Sara ; Kovačević, Fedor
Publisher:Basel: MDPI AG
Journal title:Mathematics (Basel), 2023-03, Vol.11 (5), p.1206
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 5
ArticlesPeer ReviewedFull Text
On the finite axiomatizability of varieties of commutative unary algebras
Author / Creator:Kartashov, V. K.
Publisher:Boston: Springer US
Journal title:Journal of mathematical sciences (New York, N.Y.), 2010-01, Vol.164 (1), p.56-59
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 6
ArticlesFull Text
Finite axiomatizability for profinite groups
Author / Creator:Nies, Andre ; Segal, Dan ; Tent, Katrin
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2021-05
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 7
ArticlesFull Text
Regular bi-interpretability and finite axiomatizability of Chevalley groups
Author / Creator:Bunina, Elena ; Gvozdevsky, Pavel
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2024-08
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 8
ArticlesFull Text
On the finite axiomatizability of some metabelian profinite groups
Author / Creator:Segal, Dan
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2023-03
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 9
ArticlesFull Text
Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Weak Width
Author / Creator:Zhang, Yan
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2023-04
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 10
ArticlesFull Text
Finite axiomatizability of the rank and the dimension of a pro-\(\pi\) group
Author / Creator:Conte, Martina ; Klopsch, Benjamin
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2023-06
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 11
ArticlesFull Text
Finite axiomatizability of logics of distributive lattices with negation
Author / Creator:Marcelino, Sérgio ; Rivieccio, Umberto
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2021-02
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 12
ArticlesPeer ReviewedFull Text
The equational theories of representable residuated semigroups
Author / Creator:Mikulás, Szabolcs
Publisher:Dordrecht: Springer
Journal title:Synthese (Dordrecht), 2015-07, Vol.192 (7), p.2151-2158
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 13
ArticlesFull Text
Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures
Author / Creator:Czédli, Gábor
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2021-03
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 14
Newsletter articlesFull Text
Researcher's Work from University of Lisbon Focuses on Pure and Applied Logic (Finite axiomatizability of logics of distributive lattices with negation)
Publisher:NewsRX LLC
Journal title:Information Technology Newsweekly, 2022, p.539
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 15
ArticlesPeer ReviewedFull Text
Some Normal Extensions of K4.3
Author / Creator:Xu, Ming
Publisher:Dordrecht: Springer
Journal title:Studia logica, 2013-06, Vol.101 (3), p.583-599
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 16
ArticlesFull Text
Non-finite axiomatizability of Dynamic Topological Logic
Author / Creator:Fernández-Duque, David
Publisher:Ithaca: Cornell University Library, arXiv.org
Journal title:arXiv.org, 2012-07
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 17
ArticlesPeer ReviewedFull Text
On the Possibility of Inference to the Best Explanation
Author / Creator:Glymour, Clark
Publisher:Dordrecht: Springer
Journal title:Journal of philosophical logic, 2012-04, Vol.41 (2), p.461-469
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 18
ArticlesPeer ReviewedFull Text
On representable ordered residuated semigroups
Author / Creator:Mikulas, S.
Journal title:Logic journal of the IGPL, 2011-02, Vol.19 (1), p.233-240
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 19
ArticlesPeer ReviewedFull Text
Non-finite-axiomatizability results in algebraic logic
Author / Creator:BIRO, B
Publisher:New York, USA: Cambridge University Press
Journal title:The Journal of symbolic logic, 1992-09, Vol.57 (3), p.832-843
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 20
ArticlesPeer ReviewedFull Text
The Lattice of Subvarieties of √′ quasi-MV Algebras
Author / Creator:Kowalski, T. ; Paoli, F. ; Giuntini, R. ; Ledda, A.
Publisher:Dordrecht: Springer
Journal title:Studia logica, 2010-07, Vol.95 (1/2), p.37-61
View online as a Library member
Access ebook if you are in the Library. Registered NSW residents may log in from home.

Showing 1 to 20 of 71 results

Export record to excel

Export this record

Export record to excel

Finite axiomatizability of logics of distributive lattices with negation

Export this record

Export record to excel

Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them

Export this record

Export record to excel

Lifting non-finite axiomatizability results to extensions of process algebras

Export this record

Export record to excel

On the Equational Base of SMB Algebras

Export this record

Export record to excel

On the finite axiomatizability of varieties of commutative unary algebras

Export this record

Export record to excel

Finite axiomatizability for profinite groups

Export this record

Export record to excel

Regular bi-interpretability and finite axiomatizability of Chevalley groups

Export this record

Export record to excel

On the finite axiomatizability of some metabelian profinite groups

Export this record

Export record to excel

Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Weak Width

Export this record

Export record to excel

Finite axiomatizability of the rank and the dimension of a pro-\(\pi\) group

Export this record

Export record to excel

Finite axiomatizability of logics of distributive lattices with negation

Export this record

Export record to excel

The equational theories of representable residuated semigroups

Export this record

Export record to excel

Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures

Export this record

Export record to excel

Researcher's Work from University of Lisbon Focuses on Pure and Applied Logic (Finite axiomatizability of logics of distributive lattices with negation)

Export this record

Export record to excel

Some Normal Extensions of K4.3

Export this record

Export record to excel

Non-finite axiomatizability of Dynamic Topological Logic

Export this record

Export record to excel

On the Possibility of Inference to the Best Explanation

Export this record

Export record to excel

On representable ordered residuated semigroups

Export this record

Export record to excel

Non-finite-axiomatizability results in algebraic logic

Export this record

Export record to excel

The Lattice of Subvarieties of √′ quasi-MV Algebras

Refine your search