default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 29
Volume 29, Number 1, 2019
- Roberto Ciuni, Massimiliano Carrara
:
Semantical analysis of weak Kleene logics. 1-36 - Gemma Robles, José M. Méndez:
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values. 37-63 - Yaroslav I. Petrukhin, Vasily Shangin:
On Vidal's trivalent explanations for defective conditional in mathematics. 64-77 - Alejandro Estrada, Yuri A. Poveda:
MVW-rigs and product MV-algebras. 78-96 - Federico Matias Pailos:
A family of metainferential logics. 97-120
- Correction. I
Volume 29, Number 2, 2019
- Clayton Peterson:
Monoidal logics: completeness and classical systems. 121-151 - Chrysafis Hartonas:
Lattice logic as a fragment of (2-sorted) residuated modal logic. 152-170 - Adam Trybus:
n-valued maximal paraconsistent matrices. 171-183 - Jared Millson, Christian Straßer:
A logic for best explanations. 184-231
Volume 29, Number 3, 2019
- Luciano Caroprese, Ester Zumpano:
Indefinite abductive explanations. 233-254 - Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo:
Axiomatic and dual systems for constructive necessity, a formally verified equivalence. 255-287 - Sergio A. Celani:
Subordination Tarski algebras. 288-306 - Gemma Robles, Francisco Salto, José M. Méndez:
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value. 307-325
Volume 29, Number 4, 2019
- Jiraporn Pooksook, Phan Minh Dung, Ken Satoh, Giovanni Sartor:
Modelling last-act attempted crime in criminal law. 327-357 - Oleg Grigoriev, Yaroslav I. Petrukhin:
Two proofs of the algebraic completeness theorem for multilattice logic. 358-381 - Anna Zamansky:
On recent applications of paraconsistent logic: an exploratory literature review. 382-391 - Marc Aiguier, Isabelle Bloch:
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. 392-429 - Juan Carlos Agudelo Agudelo, Santiago Echeverri-Valencia:
Polynomial semantics for modal logics. 430-449
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:27 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:
