Computational properties of finite PNmatrices

DOI10.1093/LOGCOM/EXAC073MaRDI QIDQ5872874zbMATH OpenOpenAlexFDO

Authors Pedro Filipe, Sérgio Marcelino, Carlos Caleiro

Publication date 4 January 2023

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exac073

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Computational properties of partial non-deterministic matrices and their logics
• Logical non-determinism as a tool for logical modularity: an introduction
• Analytic calculi for monadic PNmatrices
• Non-deterministic Multiple-valued Structures
• Many-valued computational logics

Cited in

(3)

• Computational properties of partial non-deterministic matrices and their logics
• Some more theorems on structural entailment relations and non-deterministic semantics
• Meet-combination of consequence systems

This page was built for publication: Computational properties of finite PNmatrices

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