×

Found 6 Documents (Results 1–6)

Quasi-Nelson algebras. (English) Zbl 1434.03148

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 169-188 (2019).
MSC:  03G25
PDFBibTeX XMLCite
Full Text: DOI

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic. (English) Zbl 1406.03045

Czelakowski, Janusz (ed.), Don Pigozzi on abstract algebraic logic, universal algebra, and computer science. Cham: Springer (ISBN 978-3-319-74771-2/hbk; 978-3-319-74772-9/ebook). Outstanding Contributions to Logic 16, 323-379 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software