Author:
Caleiro Carlos,Gonçalves Ricardo
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference29 articles.
1. Avron, A., Non-deterministic matrices and modular semantics of rules, in J.-Y. Béziau, (ed.), Logica universalis, Birkhäuser Verlag, 2005, pp. 149–167.
2. Béziau, J.-Y., Classical negation can be expressed by one of its halves, Logic Journal of the IGPL 145–151, 1999.
3. Bidoit M., Hennicker R.: Behavioural theories and the proof of behavioural properties. Theoretical Computer Science 165(1), 3–55 (1996)
4. Blok, W., and D. Pigozzi, Algebraizable logics, Memoirs of the AMS 77:396, 1989.
5. Blok, W. J., and D. Pigozzi, Algebraic semantics for universal Horn logic without equality, in A. Romanowska, and J. D. H. Smith, (eds.), Universal algebra and quasigroup theory, Lect. Conf., Jadwisin/Pol. 1989, vol. 19 of Res. Expo. Math., Heldermann, 1992, pp. 1–56.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Meaning in Logic;Logica Universalis;2017-08-08