default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 34
Volume 34, Number 1, January 2024
- David Gabelaia, Evgeny Kuznetsov, Radu-Casian Mihailescu, Konstantine Razmadze, Levan Uridia
:
Temporal logic of surjective bounded morphisms between finite linear processes. 1-30 - Juan Carlos Agudelo Agudelo:
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation. 31-54 - Ken-etsu Fujita, Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski:
The existential fragment of second-order propositional intuitionistic logic is undecidable. 55-74 - Sergio A. Celani:
Relational representation for subordination Tarski algebras. 75-96 - Zofia Kostrzycka, Marek Zaionc:
Fuzzy logics - quantitatively. 97-132 - Cornelis A. Middelburg:
Paraconsistent logic and query answering in inconsistent databases. 133-154 - Damla Yilmaz:
Symmetric bi-derivations of UP(BCC)-algebras. 155-169
Volume 34, Numbers 2-3, July 2024
- Mohua Banerjee, Mihir K. Chakraborty, Andrzej Szalas:
Logics from rough sets. 171-173 - Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere:
Modal reduction principles: a parametric shift to graphs. 174-222 - Md. Aquil Khan, Ranjan, Amal Talukdar:
A study of modal logic with semantics based on rough set theory. 223-247 - Arun Kumar, Mohua Banerjee:
Some algebras and logics from quasiorder-generated covering-based approximation spaces. 248-268 - Yiheng Wang, Zhe Lin, Minghui Ma:
Decidability of topological quasi-Boolean algebras. 269-293 - A. Mani:
Granular knowledge and rational approximation in general rough sets - I. 294-329 - Piero Pagliani:
Crypto-preorders, topological relations, information and logic. 330-367 - Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio:
Nelson algebras, residuated lattices and rough sets: A survey. 368-428 - Anirban Saha, Jayanta Sen:
Modality-free pre-rough logic. 429-451
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-13 23:55 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:
