An efficient relational deductive system for propositional non-Classical logics

Formisano A.

•

Nicolosi-Asmundo M.

2006

journal article

Periodico

JOURNAL OF APPLIED NON-CLASSICAL LOGICS

DOI

10.3166/jancl.16.367-408

Archivio

http://hdl.handle.net/11390/1193579

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-38149102384

http://www.tandfonline.com/loi/tncl20

Diritti

metadata only access

Soggetti

Scopus© citazioni

13

Data di acquisizione
Jun 2, 2022

Visualizzazioni

1

Data di acquisizione
Apr 19, 2024