O Método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1

DOI10.5540/TCAM.2021.022.03.00393OpenAlexW3202574920MaRDI QIDQ6084572FDOQ6084572

Authors: L. Silvestrini 

Publication date: 2 December 2023

Published in: Trends in Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.5540/tcam.2021.022.03.00393

zbMATH Keywords

intuitionistic logicthree-valued logicmethod of analytic tableaux

Mathematics Subject Classification ID

Many-valued logic (03B50)

This page was built for publication: O Método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6084572)