default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReports on Mathematical Logic, Volume 36
Volume 36, 2002
- Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán:
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. 3-53 - Saeed Salehi:
Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic. 55-61 - Adam Kolany:
Grabowski Lattices are Generated by Graphs. 63-69 - Grzegorz Soza:
Asymptotic Density as a Method of Expressing Quantitative Relations in Intuitionistic Logic. 71-93 - Norihiro Kamide:
A Canonical Model Construction for Substructural Logics with Strong Negation. 95-116 - José M. Méndez, Francisco Salto, Gemma Robles:
Anderson and Belnap's Minimal Positive Logic with Minimal Negation. 117-130 - Tadeusz Litak:
A Continuum of Incomplete Intermediate Logics. 131-141 - Isabel M. A. Ferreirim:
Errata to RML: 34 A Short Note on Hoops and Continuous t-norms. 141-142
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-02-21 19:38 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:
