default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 9
Volume 9, Number 1, 1999
- Àngel J. Gil, Jordi Rebagliato, Ventura Verdú:
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. 9-36 - Lluís Godo
, Petr Hájek:
Fuzzy inference as deduction. 37-60 - Alexej P. Pynko:
Functional completeness, axiomatizability within Belnap's four valued logic and its expansions. 61-105 - Adriana Galli, Marta Sagastume:
Some operations in Kripke models with an involution. 107-120 - Itala M. Loffredo D'Ottaviano, Hércules A. Feitosa:
Many-valued logics and translations. 121-140 - Giovanni Panti:
Varieties of MV-algebras. 141-157 - Lawrence Peter Belluce, Antonio Di Nola, George Georgescu:
Perfect MV-algebras and l-rings. 159-172 - Manuel Abad, J. Patricio Díaz Varela:
Free double Ockham algebras. 173-183
Volume 9, Number 2-3, 1999
- George Gargov:
Knowledge and Uncertainty and Ignorance in Logic: Bilattices and beyond. 195-283 - Sergei N. Artëmov:
Realization of Intuitionistic Logic by Proof Polynomials. 285-301 - Philippe Balbiani, Ewa Orlowska:
A hierarchy of modal logics with relative accessibility relations. 303-328 - Melvin Fitting:
Barcan Both Ways. 329-344 - Valentin Goranko, Dimiter Vakarelov:
Hyperboolean Algebras and Hyperboolean Modal Logic. 345-368 - Valentin B. Shehtman:
"Everywhere" and "Here". 369-379 - Dmitrij P. Skvortsov:
Remark on a finite axiomatization of finite intermediate propositional logics. 381-386 - V. Sotirov:
Arithmetizations of Syllogistic à la Leibniz. 387-405 - Johan van Benthem:
The Range of Modal Logic. J. Appl. Non Class. Logics 9(2-3) (1999)
Volume 9, Number 4, 1999
- Michael Kohlhase, Ortwin Scheja:
Higher Order Multi-Valued Resolution. 455-477 - Ullrich Hustadt, Renate A. Schmidt:
An empirical analysis of modal theorem provers. 479-522 - Philippe Balbiani:
Inequality without irreflexivity. 523-534
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-01-24 17:14 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:
