Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 30
Volume 30, Number 1, 2020
- Yaroslav I. Petrukhin
:
Axiomatization of non-associative generalisations of Hájek's BL and psBL. 1-15 - Chrysafis Hartonas:
Modal translation of substructural logics. 16-49 - Marcin Lyczak:
The logic of modal changes LMC. 50-67 - Ariel Jonathan Roffé:
Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts. 68-91
Volume 30, Number 2, 2020
- Alex Belikov, Yaroslav I. Petrukhin:
Exactly true and non-falsity logics meeting infectious ones. 93-122 - Régis Riveret:
On searching explanatory argumentation graphs. 123-192
- Correction. I-II
Volume 30, Number 3, 2020
- Giuseppe Primiero:
A logic of negative trust. 193-222 - Tarek Sayed Ahmed:
Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic. 223-271 - Andreas Fjellstad:
Structural proof theory for first-order weak Kleene logics. 272-289
Volume 30, Number 4, 2020
- Gemma Robles:
A basic quasi-Boolean logic of intuitionistic character. 291-311 - Bruno Da Ré, Federico Matias Pailos, Damián Enrique Szmuc, Paula Teijeiro:
Metainferential duality. 312-334 - Athanassios Tzouvaras:
Algebraic semantics for propositional superposition logic. 335-366 - Michele Pra Baldi:
Logics of variable inclusion and the lattice of consequence relations. 367-381
a service of 
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-07-12 21:08 CEST 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:
