Periodical (Journal)

ISSN  :   1166-3081 ( Print )   |   1958-5780 ( Online )   Active

Journal Journal of Applied Non-classical Logics

Aim & Scope

The Journal of Applied Non-classical Logics, published quarterly, is the key publication for the newest research in the field. Contributions from experts report on developments in the following areas: Formal aspect of non-classical formalisms: completeness, decidability, complexity. Applications of non-classical logics to AI and cognitive science: knowledge representation, automated reasoning, naturel language. Theoretical computer science: program verification, program synthesis. [1]

Go to Website

2024
12 RESULTS in 22 msec
2024-04-00

Logics from rough sets

M Banerjee , M Chakraborty , A Szałas

Journal of Applied Non-classical Logics , 2024 , pp 1-3.

10.1080/11663081.2024.2336616

0 0

2024-02-08

Paraconsistent logic and query answering in inconsistent databases

No authors listed.

Journal of Applied Non-classical Logics , 2024 , pp 1-22.

10.1080/11663081.2024.2312776

0 0

2024-04-07

Modality-free pre-rough logic

A Saha , J Sen

Journal of Applied Non-classical Logics , 2024 , pp 1-23.

10.1080/11663081.2024.2336873

0 0

2024-02-13

Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation

No authors listed.

Journal of Applied Non-classical Logics , 2024 , pp 1-24.

10.1080/11663081.2024.2313315

0 0

2024-04-02

Decidability of topological quasi-Boolean algebras

Y Wang , Z Lin , M Ma

Journal of Applied Non-classical Logics , 2024 , pp 1-25.

10.1080/11663081.2024.2336373

0 0