Disjoint fibring of non-deterministic matrices
From MaRDI portal
Publication:1685929
DOI10.1007/978-3-662-55386-2_17zbMath1496.03118OpenAlexW2728237002MaRDI QIDQ1685929
Carlos Caleiro, Sérgio Marcelino
Publication date: 20 December 2017
Full work available at URL: https://doi.org/10.1007/978-3-662-55386-2_17
Related Items (5)
An unexpected Boolean connective ⋮ What is a logical theory? On theories containing assertions and denials ⋮ Plug and Play Negations ⋮ Combining fragments of classical logic: when are interaction principles needed? ⋮ On Axioms and Rexpansions
This page was built for publication: Disjoint fibring of non-deterministic matrices
