default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReports on Mathematical Logic, Volume 45
Volume 45, 2010
- Norihiro Kamide:
Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems. 3-21 - Szymon Frankowski:
On the Lattice of p-consequences. 23-35 - Juan Climent Vidal, Juan Soliveres Tur:
A 2-categorical framework for the syntax and semantics of many-sorted equational logic. 37-95 - Gemma Robles:
Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective. 97-118 - Alexandre A. M. Rodrigues, Ricardo C. Miranda Filho, Edelcio Gonçalves de Souza:
Definability in infinitary languages and invariance by automorphims. 119-133 - Sinisa Crvenkovic, Melanija Mitrovic, Daniel Abraham Romano:
Complementary pair of quasi-antiorders. 135-142 - Ai-ni Hsieh:
Some locally tabular logics with contraction and mingle. 143-159 - Francesco Paoli, Tomasz Kowalski:
On some properties of quasi MV algebras and square root quasi MV algebras. Part III. 161-199 - José L. Castiglioni, Marta Sagastume, Hernán Javier San Martín:
On frontal Heyting algebras. 201-224 - José L. Castiglioni, Hernán Javier San Martín:
On the variety of Heyting algebras with successor generated by all finite chains. 225-248 - Polemics. 249-259
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-04 01:29 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:
