default search action
Journal 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
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values. 37-63 - Yaroslav I. Petrukhin
On Vidal's trivalent explanations for defective conditional in mathematics. 64-77 - Alejandro Estrada
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
A logic for best explanations. 184-231
Volume 29, Number 3, 2019
- Luciano Caroprese
Indefinite abductive explanations. 233-254 - Lourdes Del Carmen González-Huesca
Axiomatic and dual systems for constructive necessity, a formally verified equivalence. 255-287 - Sergio A. Celani
Subordination Tarski algebras. 288-306 - Gemma Robles
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
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
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 2024-12-12 20:48 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: