Abstract
We show by way of example how one can provide in a lot of cases simple modular semantics of rules of inference, so that the semantics of a system is obtained by joining the semantics of its rules in the most straightforward way. Our main tool for this task is the use of finite Nmatrices, which are multi-valued structures in which the value assigned by a valuation to a complex formula can be chosen non-deterministically out of a certain nonempty set of options. The method is applied in the area of logics with a formal consistency operator (knowns as LFIs), allowing us to provide in a modular way effective, finite semantics for thousands of different LFIs.
This research was supported by THE ISRAEL SCIENCE FOUNDATION founded by The Israel Academy of Sciences and Humanities.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
A. Avron, Non-deterministic Semantics for Families of Paraconsistent Logics, To appear in the Proceedings 3rd World Congress on Paraconsistency (WCP03).
A. Avron, A Non-deterministic View on Non-classical Negations, To appear in a special issue of Studia Logica.
A. Avron, Non-deterministic Semantics for Paraconsistent C-systems, submitted.
A. Avron, and B. Konikowska, Multi-valued Calculi for Logics Based on Non-determinism, submitted.
A. Avron, and I. Lev, Non-deterministic Multiple-valued Structures, to appear in the Journal of Logic and Computation.
A. Avron and I. Lev, Canonical Propositional Gentzen-Type Systems, in Proceedings of the ist International Joint Conference on Automated Reasoning (IJCAR. 2001) (R. Goré, A Leitsch, T. Nipkow, Eds), LNAI 2083, 529–544, Springer Verlag, 2001.
A. Avron, and I. Lev, Non-deterministic Matrices, in Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 282–287, IEEE Computer Society Press, 2004.
A. Avron, and A. Zamanski, Quantification in Non-deterministic Multi-valued Structures, to appear in Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), IEEE Computer Society Press, 2005.
D. Batens, K. De Clercq, and N. Kurtonina, Embedding and Interpolation for Some Paralogics. The Propositional Case, Reports on Mathematical Logic 33 (1999), 29–44.
W. A. Carnielli, Possible-translations Semantics for Paraconsistent Logics, in Frontiers of Paraconsistent Logic (D. Batens, C. Mortensen, G. Priest, and J. P. Van Bendegem, eds.), 149–163. King's College Publications, Research Studies Press, Baldock, UK, 2000.
W. A. Carnielli and J. Marcos, A Taxonomy of C-systems, in Paraconsistency — the logical way to the inconsistent (W. A. Carnielli, M. E. Coniglio, I. L. M. D'ottaviano, eds.), Lecture Notes in Pure and Applied Mathematics, 1–94, Marcel Dekker, 2002.
W. A. Carnielli, M. E. Coniglio, and J. Marcos, Logics of Formal Inconsistency, to appear in Handbook of Philosophical Logic (D. Gabbay and F. Guenthner, eds).
J. M. Crawford and D. W. Etherington, A Non-deterministic Semantics for Tractable Inference, in Proc. of the 15th International Conference on Artificial Intelligence and the 10th Conference on Innovative Applications of Artificial Intelligence, 286–291, MIT Press, Cambridge, 1998.
N. C. A. da Costa, On the theory of inconsistent formal systems, Notre Dame Journal of Formal Logic 15 (1974), 497–510.
I. L. M. D'Ottaviano and N. C. A. da Costa, Sur un problème de Jaśkowski, Comptes Rendus de l'Academie de Sciences de Paris (A-B) 270 (1970), 1349–1353.
I. L. M. D'Ottaviano, The completeness and compactness of a three-valued first-order logic, Revista Colombiana de Matematicas, vol. XIX (1985), 31–42.
R. L. Epstein, The semantic foundation of logic, vol. I: Propositional Logics, ch. IX, Kluwer Academic Publisher, 1990.
J. Łoś and R. Suszko, Remarks on Sentential Logics, Indagationes Mathematicae 20 (1958), 177–183.
K. Schütte, Beweistheorie, Springer, Berlin, 1960.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Birkhäuser Verlag Basel/Switzerland
About this paper
Cite this paper
Avron, A. (2005). Non-deterministic Matrices and Modular Semantics of Rules. In: Beziau, JY. (eds) Logica Universalis. Birkhäuser Basel. https://doi.org/10.1007/3-7643-7304-0_9
Download citation
DOI: https://doi.org/10.1007/3-7643-7304-0_9
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-7259-0
Online ISBN: 978-3-7643-7304-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)