Siva Anantharaman, Paliath Narendran & Michael Rusinowitch (2005):
Closure properties and decision problems of dag automata.
Information Processing Letters 94(5),
pp. 231–240,
doi:10.1016/j.ipl.2005.02.004.
Arnon Avron, Beata Konikowska & Anna Zamansky (2013):
Cut-free Sequent Calculi for C-systems with Generalized Finite-valued Semantics.
Journal of Logic and Computation 23(3),
pp. 517–540,
doi:10.1093/logcom/exs039.
Arnon Avron & Iddo Lev (2005):
Non-deterministic multiple-valued structures.
Journal of Logic and Computation 15(3),
pp. 241–261,
doi:10.1093/logcom/exi001.
Arnon Avron & Anna Zamansky (2011):
Non-deterministic semantics for logical systems.
In: Dov M. Gabbay & Franz Guenthner: Handbook of Philosophical Logic 16.
Springer,
pp. 227–304,
doi:10.1007/978-94-007-0479-4_4.
Arnon Avron & Yoni Zohar (2019):
Rexpansions of non-deterministic matrices and their applications.
The Review of Symbolic Logic 12(1),
pp. 173–200,
doi:10.1017/S1755020318000321.
Stefano Bonzio, Tommaso Moraschini & Michele Pra Baldi (2020):
Logics of left variable inclusion and Płonka sums of matrices.
Archive for Mathematical Logic 60,
pp. 49–76,
doi:10.1007/s00153-020-00727-6.
Carlos Caleiro & Sérgio Marcelino (2019):
Analytic calculi for monadic PNmatrices.
In: Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz: Logic, Language, Information, and Computation (WoLLIC 2019),
LNCS 11541.
Springer-Verlag,
pp. 84–98,
doi:10.1007/978-3-662-59533-6_6.
Carlos Caleiro, Sérgio Marcelino & Pedro Filipe (2020):
Infectious semantics and analytic calculi for even more inclusion logics.
In: 2020 IEEE 50th International Symposium on Multiple-Valued Logic,
pp. 224–229,
doi:10.1109/ISMVL49045.2020.000-1.
Carlos Caleiro, João Marcos & Marco Volpe (2015):
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.
Theoretical Computer Science 603,
pp. 84–110,
doi:10.1016/j.tcs.2015.07.016.
Witold Charatonik (1999):
Automata on DAG Representations of Finite Trees.
Technical Report MPI-I-1999-2-001.
Max-Planck-Institut für Informatik,
Saarbrücken, Germany.
Josep Font (2016):
Abstract Algebraic Logic.
Mathematical Logic and Foundations 60.
College Publications.
Dietlinde Lau (2006):
Function Algebras on Finite Sets, A Basic Course on Many-Valued Logic and Clone Theory.
Springer Monographs in Mathematics.
Springer,
doi:10.1007/3-540-36023-9.
Sérgio Marcelino & Carlos Caleiro (2017):
Disjoint fibring of non-deterministic matrices.
In: Juliette Kennedy & Ruy J.G.B. de Queiroz: Logic, Language, Information, and Computation (WoLLIC 2017),
LNCS 10388.
Springer-Verlag,
pp. 242–255,
doi:10.1007/978-3-662-55386-2_17.
Sérgio Marcelino & Carlos Caleiro (2019):
Axiomatizing non-deterministic many-valued generalized consequence relations.
Synthese 198,
pp. 5373–5390,
doi:10.1007/s11229-019-02142-8.
Marvin Minsky (1967):
Computation: Finite and Infinite Machines.
Prentice-Hall.
David John Shoesmith & Timothy Smiley (1978):
Multiple-conclusion logic.
Cambridge University Press,
doi:10.1017/CBO9780511565687.
Ryszard Wójcicki (1988):
Theory of Logical Calculi.
Synthese Library 199.
Kluwer,
doi:10.1007/978-94-015-6942-2.
eptcs@eptcs.org