default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReports on Mathematical Logic, Volume 40
Volume 40, 2006
- Kazimierz Swirydowicz:
Upper Part of the Lattice of Extensions of the Positive Relevant Logic R+. 3-13 - Rafal Urbaniak:
On Ontological Functors of Lesniewski's Elementary Ontology. 15-43 - Lloyd Humberstone:
Extensions of Intuitionistic Logic without the Deduction Theorem: Some Simple Examples. 45-82 - Claudia Sanza:
n x m Lukasiewicz Algebras with Negation. 83-106 - Roland Hinnion:
Intensional Positive Set Theory. 107-125 - Juan Climent Vidal, Juan Soliveres Tur:
On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories. 127-158 - Marcin Kysiak:
A Note on Transitive Sets without the Foundation Axiom. 159-163 - Christian Delhommé, Marianne Morillon:
Spanning Graphs and the Axiom of Choice. 165-180 - Luís A. Sbardellini, Marcelo E. Coniglio:
Some Results on Ordered Structures in Toposes. 181-198 - Luiz F. Monteiro, Manuel Abad, Sonia Savini, Julio Sewald, Marta A. Zander:
Subalgebras of a Finite Monadic Boolean Algebra. 199-206 - Alexandre A. M. Rodrigues, Ricardo C. Miranda Filho, Edelcio Gonçalves de Souza:
Invariance and Set-Theoretical Operations in First Order Structures. 207-213
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 2025-12-05 22:25 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:
