Analytic calculi for monadic PNmatrices

DOI10.1007/978-3-662-59533-6_6OpenAlexW2952657320MaRDI QIDQ2303582

Sérgio Marcelino, Carlos Caleiro

Publication date: 4 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-59533-6_6

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (6)

Proof search on bilateralist judgments over non-deterministic semantics ⋮ Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ Computational properties of partial non-deterministic matrices and their logics ⋮ An unexpected Boolean connective ⋮ Finite two-dimensional proof systems for non-finitely axiomatizable logics ⋮ On Axioms and Rexpansions

This page was built for publication: Analytic calculi for monadic PNmatrices