default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 98
Volume 98, Numbers 1-2, July 2011
- Manuel Abad, Alejandro Petrovich:
Editorial Introduction. 1-3 - Gabriela Hauser Bordalo:
Prime Filters, Normality and Irreducibility in Lattices. 5-7 - Juan Manuel Cornejo:
Semi-intuitionistic Logic. 9-25 - Hanamantagouda P. Sankappanavar:
Expansions of Semi-Heyting Algebras I: Discriminator Varieties. 27-81 - Guram Bezhanishvili, Ramon Jansana
:
Priestley Style Duality for Distributive Meet-semilattices. 83-122 - Valeria Castaño, Marcela Muñoz Santis:
Subalgebras of Heyting and De Morgan Heyting Algebras. 123-139 - Roberto Cignoli:
Boolean Skeletons of MV-algebras and ℓ-groups. 141-147 - Antonio Ledda, Tomasz Kowalski, Francesco Paoli:
On Certain Quasivarieties of Quasi-MV Algebras. 149-174 - Cecilia Cimadamore, J. Patricio Díaz Varela:
Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit. 175-201 - José L. Castiglioni, Hernán Javier San Martín:
Compatible Operations on Residuated Lattices. 203-222 - Diego Nicolás Castaño, J. Patricio Díaz Varela, Antoni Torrens Torrell:
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices. 223-235 - T. S. Blyth, Jie Fang:
On Endomorphisms of Ockham Algebras with Pseudocomplementation. 237-250 - Sergio A. Celani:
Classical Modal De Morgan Algebras. 251-266 - Miguel Campercholi, Diego Nicolás Castaño, J. Patricio Díaz Varela:
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras. 267-283 - Miguel Campercholi, Diego Vaggione:
Algebraic Functions. 285-306 - J. Patricio Díaz Varela, Blanca Fernanda López Martinolich:
Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras. 307-330
Volume 98, Number 3, August 2011
- Rodolfo Cristian Ertola Biraben, Hernán Javier San Martín:
On Some Compatible Operations on Heyting Algebras. 331-345 - David Fernández-Duque:
On the Modal Definability of Simulability by Finite Transitive Models. 347-373 - Wolfgang Rump, Yichuan Yang:
A Note on Bosbach's Cone Algebras. 375-386 - Linh Anh Nguyen, Andrzej Szalas:
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. 387-428 - Vladimir L. Vasyukov:
Paraconsistency in Categories: Case of Relevance Logic. 429-443 - Stefan Wintein:
A Framework for Riddles about Truth that do not involve Self-Reference. 445-482
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
