Juan C. Agudelo-Agudelo

From MaRDI portal
Person:2399602

Available identifiers

zbMath Open agudelo-agudelo.juan-cMaRDI QIDQ2399602

List of research outcomes





PublicationDate of PublicationType
About opposition and duality in paraconsistent type theory2025-01-13Paper
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation2024-03-20Paper
Type Theory with Opposite Types: A Paraconsistent Type Theory2022-11-09Paper
Polynomial semantics for modal logics2019-11-18Paper
On polynomial semantics for propositional logics2018-09-12Paper
Polynomial ring calculus for modalities2018-02-13Paper
Translating non-classical logics into classical logic by using hidden variables2017-08-24Paper
Restricted normal modal logics and levelled possible worlds semantics2015-01-12Paper

Research outcomes over time

This page was built for person: Juan C. Agudelo-Agudelo

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2399602&oldid=6251395"
Powered by MediaWiki