Stop the war!
Остановите войну!
for scientists:
default search action
Journal 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
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.